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] create dependabot-automerge.yml #417

Closed JasonGross closed 6 months ago

JasonGross commented 6 months ago

Like https://github.com/mit-plv/rupicola/pull/114

This works for Fiat Crypto https://github.com/mit-plv/fiat-crypto/pull/1862#issuecomment-2053682801, but note that you'll want to merge #416 and branch protect with coq-check-all first.

Also note that this only triggers on dependabot actions, so if you click the rebase button on a dependabot PR rather than commenting @dependabot rebase, it won't trigger. (But that's probably fine, since it'll hopefully already be set to automerge)