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

Timeout continuation message should not suggest adding file to test suite #21

Closed JasonGross closed 1 year ago