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] [debian] Containerize testing of standalone #1924

Closed JasonGross closed 5 months ago

JasonGross commented 5 months ago

This should hopefully deal with https://github.com/mit-plv/fiat-crypto/issues/1394#issuecomment-2160967034

@andres-erbsen What do you think?