search

JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
39 stars 9 forks source link

Combine TestPyPi and PyPi publishing workflows #175

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

This way we can test the publish workflow on PRs, but only publish on releases.