Minimizer is rebuilding developments when it probably should not - Githubissues

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

Minimizer is rebuilding developments when it probably should not #20

Open JasonGross opened 2 years ago

JasonGross commented 2 years ago

https://github.com/coq-community/run-coq-bug-minimizer/runs/7104267737?check_suite_focus=true https://github.com/coq-community/run-coq-bug-minimizer/runs/7104267841?check_suite_focus=true https://github.com/coq-community/run-coq-bug-minimizer/runs/7104267925?check_suite_focus=true