search

mit-plv / fiat-crypto

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

[CI] Remove dead code #1903

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

https://github.com/coq-community/docker-coq-action/pull/89 was merged

JasonGross commented 1 month ago

Blocked on https://github.com/coq-community/docker-coq-action/issues/91