[DO NOT MERGE] Example for running with two coqs

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 4 years ago

JasonGross commented 4 years ago

Proof of concept for building a minimized example from a CI failure