https://github.com/rocq-community/run-coq-bug-minimizer

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
https://github.com/rocq-community/run-coq-bug-minimizer

Last synced: 20 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/rocq-community/run-coq-bug-minimizer
• Owner: rocq-community
• License: mit
• Created: 2020-05-01T19:32:46.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2025-03-12T03:03:35.000Z (about 2 months ago)
• Last Synced: 2025-03-24T15:06:59.245Z (about 1 month ago)
• Language: Shell
• Homepage:
• Size: 1.33 MB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# run-coq-bug-minimizer

A repo for running the minimizer on GH Actions