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

Update coq-docker.yml: Bump binaryen vesion #1842

Closed JasonGross closed 7 months ago

JasonGross commented 7 months ago

As per https://github.com/mit-plv/fiat-crypto/actions/runs/8482730755/job/23245208658?pr=1841#step:7:95