Skip to content

Releases: cda-tum/setup-z3

Release 1.0.5: Use GitHub API

13 Sep 18:11
Compare
Choose a tag to compare

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

13 Sep 11:04
Compare
Choose a tag to compare

Forgot to update the /dist folder 🙃

Release 1.0.3: Export Environment Variable

13 Sep 11:01
Compare
Choose a tag to compare

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

13 Sep 10:50
e8a217d
Compare
Choose a tag to compare

Another small bugfix release that repairs the re-tag job that keeps the v1 tag up-to-date.

Release 1.0.1: Bugfix

13 Sep 10:41
Compare
Choose a tag to compare

What's Changed

  • 🔒 fix security issue and patch condition by @burgholzer in #1

New Contributors

Full Changelog: v1...v1.0.1

🎉 Initial Release

13 Sep 09:03
Compare
Choose a tag to compare

This is the initial release of the "Setup Z3" action.