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

Downgrade actions/{download,upload}-artifact 4=>3 #1802

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

In Arch this time.

v4 is buggy and has a very high failure rate, see also https://github.com/actions/download-artifact/issues/249