Coq Tools v0.0.2
Automatically deploying standalone versions as well, no changes to PyPI package
What's Changed
- Package Version Bump by @github-actions in #171
- Bump sigstore/gh-action-sigstore-python from 1.2.3 to 2.1.0 by @dependabot in #172
- Also test standalone builds on CI by @JasonGross in #170
- Try to work around pyinstaller error differently by @JasonGross in #173
- Combine TestPyPi and PyPi publishing workflows by @JasonGross in #175
New Contributors
- @github-actions made their first contribution in #171
Full Changelog: v0.0.1...v0.0.2