search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Tidy up hint usage #3377

Closed mtzguido closed 3 months ago

mtzguido commented 3 months ago

CI was using hints through OTHERFLAGS, but normal invocations of the make rules (including the release script) were not.