stop updating the tested branch

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming

http://adam.chlipala.net/papers/LightbulbPLDI21/

MIT License

297 stars 45 forks source link

stop updating the tested branch #421

Closed andres-erbsen closed 6 months ago

andres-erbsen commented 6 months ago

Coq CI no longer uses it https://github.com/coq/coq/blob/3480ee98374ad4c41e7ce69e6e5e62ba72e4b05e/dev/ci/ci-basic-overlay.sh#L209-L224

andres-erbsen commented 6 months ago

'Error reading https://launchpad.net/api/devel/~jgross-h/+archive/ubuntu/many-coq-versions-ocaml-4-11?ws.op=getSigningKeyData (4 tries): Internal Server Error' Error: Process completed with exit code 1.