Releases: cda-tum/setup-z3
Releases · cda-tum/setup-z3
Release 1.0.5: Use GitHub API
This bugfix release switches to using the GitHub API with a corresponding token in order to avoid hitting rate limitations.
Release 1.0.4: Bugfix
Forgot to update the /dist
folder 🙃
Release 1.0.3: Export Environment Variable
This release adds an automatic export of the environment variable Z3_ROOT
to the action as a convenience feature.
Release 1.0.2: Fix Re-Tag
Another small bugfix release that repairs the re-tag job that keeps the v1
tag up-to-date.
Release 1.0.1: Bugfix
What's Changed
- 🔒 fix security issue and patch condition by @burgholzer in #1
New Contributors
- @burgholzer made their first contribution in #1
Full Changelog: v1...v1.0.1
🎉 Initial Release
This is the initial release of the "Setup Z3" action.