GitHub repository: rocq-community/run-coq-bug-minimizer
Primary language: Shell
Description: Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]