bug minimizer comment should automatically tag @JasonGross whenever something goes wrong (when the file is not fully minimized or minimization fails)

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

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

I believe this happens in most cases now