rocq-community/run-coq-bug-minimizer

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]

ShellStars 2Forks 0Watchers 2Open issues 12License MIT License

Details

仓库信息

Ownerrocq-community

Homepage—

Last pushed2025-12-11

Last updated2025-12-15

Issues fetched at—

Community at a glance