Skip to content

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

License

Notifications You must be signed in to change notification settings

coq-community/run-coq-bug-minimizer

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •  

Languages