search

coq-community / run-coq-bug-minimizer

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
MIT License
2 stars 0 forks source link

[DO NOT MERGE] Example commit for coqbot triggering a CI minimization #4

Closed JasonGross closed 3 years ago