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] Pin action steps that use setup-ocaml to ubuntu 22.04 #1971

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

Until https://github.com/ocaml/setup-ocaml/issues/872 / https://github.com/ocaml/setup-ocaml/issues/860 are fixed.