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

Also pass `--passing-coqtop` #18

Closed JasonGross closed 2 years ago

JasonGross commented 2 years ago

For https://github.com/JasonGross/coq-tools/pull/126 / https://github.com/coq/coq/pull/16190