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

[CI] Add coq-check-all job for ease of branch protection #416

Closed JasonGross closed 6 months ago

JasonGross commented 6 months ago

This allows branch protection (for automerge) that doesn't need to evolve as tested Coq versions change (just make the only required check be coq-check-all)

(The status checks at https://github.com/mit-plv/bedrock2/pull/375 suggest that the branch protection currently lists explicit jobs) image