Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" - Githubissues

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

Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" #1976

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

Reverts mit-plv/fiat-crypto#1971

Now that https://github.com/ocaml/setup-ocaml/pull/879 has been merged