search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717 stars 147 forks source link

[CI] Remove hopefully-useless --dry-run make install #1751

Closed JasonGross closed 12 months ago

JasonGross commented 1 year ago

Hopefully this speeds things up by a minute or so