Skip to content

Releases: cda-tum/setup-z3

Release 1.0.9: Dependency Update

27 Mar 08:22
82fc423
Compare
Choose a tag to compare

What's Changed

  • Build(deps-dev): bump @typescript-eslint/parser from 5.48.1 to 5.49.0 by @dependabot in #95
  • Build(deps-dev): bump jest from 29.3.1 to 29.4.1 by @dependabot in #91
  • Build(deps-dev): bump @vercel/ncc from 0.36.0 to 0.36.1 by @dependabot in #92
  • Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.2 to 5.49.0 by @dependabot in #93
  • Build(deps-dev): bump eslint from 8.32.0 to 8.33.0 by @dependabot in #94
  • Build(deps-dev): bump typescript from 4.9.4 to 4.9.5 by @dependabot in #99
  • Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.49.0 to 5.50.0 by @dependabot in #98
  • Build(deps-dev): bump @typescript-eslint/parser from 5.49.0 to 5.50.0 by @dependabot in #96
  • Build(deps-dev): bump @types/node from 18.11.18 to 18.11.19 by @dependabot in #97
  • 🚸 Test if z3 executable exists after running the workflow by @wenkokke in #101
  • 🔧 update workflows by @burgholzer in #107
  • Build(deps-dev): bump eslint from 8.33.0 to 8.34.0 by @dependabot in #102
  • Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.50.0 to 5.51.0 by @dependabot in #103
  • Build(deps-dev): bump jest from 29.4.1 to 29.4.2 by @dependabot in #104
  • Build(deps-dev): bump @types/node from 18.11.19 to 18.13.0 by @dependabot in #106
  • Build(deps-dev): bump @typescript-eslint/parser from 5.50.0 to 5.51.0 by @dependabot in #105
  • Build(deps-dev): bump @types/node from 18.13.0 to 18.14.0 by @dependabot in #108
  • Build(deps-dev): bump @typescript-eslint/parser from 5.51.0 to 5.52.0 by @dependabot in #109
  • Build(deps-dev): bump jest from 29.4.2 to 29.4.3 by @dependabot in #112
  • Build(deps-dev): bump eslint-plugin-github from 4.6.0 to 4.6.1 by @dependabot in #111
  • Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.51.0 to 5.53.0 by @dependabot in #116
  • Build(deps-dev): bump eslint from 8.34.0 to 8.35.0 by @dependabot in #114
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.53.0 to 5.54.0 by @dependabot in #119
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.52.0 to 5.54.0 by @dependabot in #117
  • Build(deps-dev): Bump @types/node from 18.14.0 to 18.14.6 by @dependabot in #118
  • Build(deps-dev): Bump @types/node from 18.14.6 to 18.15.1 by @dependabot in #124
  • Build(deps-dev): Bump jest from 29.4.3 to 29.5.0 by @dependabot in #122
  • Build(deps-dev): Bump eslint from 8.35.0 to 8.36.0 by @dependabot in #123
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.0 to 5.54.1 by @dependabot in #121
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.54.0 to 5.54.1 by @dependabot in #120
  • Build(deps-dev): Bump typescript from 4.9.5 to 5.0.2 by @dependabot in #125
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.54.1 to 5.55.0 by @dependabot in #126
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.1 to 5.55.0 by @dependabot in #128
  • Build(deps-dev): Bump @types/node from 18.15.1 to 18.15.3 by @dependabot in #127
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.55.0 to 5.56.0 by @dependabot in #132
  • Build(deps-dev): Bump @types/node from 18.15.3 to 18.15.10 by @dependabot in #131
  • Build(deps-dev): Bump eslint-plugin-github from 4.6.1 to 4.7.0 by @dependabot in #129
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.55.0 to 5.56.0 by @dependabot in #130

New Contributors

Full Changelog: v1...v1.0.9

Release 1.0.8: Dependency Update

23 Jan 10:11
0d5c259
Compare
Choose a tag to compare

What's Changed

  • Bump @typescript-eslint/parser from 5.48.0 to 5.48.1 by @dependabot in #81
  • Bump ts-jest from 29.0.3 to 29.0.5 by @dependabot in #83
  • Bump eslint-plugin-import from 2.26.0 to 2.27.4 by @dependabot in #84
  • Bump eslint from 8.31.0 to 8.32.0 by @dependabot in #85
  • Bump @typescript-eslint/eslint-plugin from 5.48.0 to 5.48.1 by @dependabot in #82
  • Build(deps-dev): bump eslint-plugin-import from 2.27.4 to 2.27.5 by @dependabot in #89
  • Build(deps): bump @octokit/core from 4.1.0 to 4.2.0 by @dependabot in #90
  • Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.1 to 5.48.2 by @dependabot in #87
  • Build(deps): bump @octokit/openapi-types from 14.0.0 to 16.0.0 by @dependabot in #88
  • Build(deps): bump @octokit/action from 4.0.10 to 5.0.2 by @dependabot in #86

Full Changelog: v1...v1.0.8

Release 1.0.7: Dependency Update

09 Jan 11:00
ab20a76
Compare
Choose a tag to compare

This minor release includes all dependency updates since the last release has been published.
Most notably, this release fixes a security issue in the json5 dependency (#80).

What's Changed

Full Changelog: v1...v1.0.7

Release 1.0.6: Dependency Update

08 Nov 16:58
71ead2a
Compare
Choose a tag to compare

This minor release includes all dependency updates since the last release has been published.
Most notably, the update of @actions/core from 1.9.1 to 1.10.0 by @dependabot in #13 should fix the deprecation warning

Warning: The set-output command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

What's Changed

New Contributors

Full Changelog: v1...v1.0.6

Release 1.0.5: Use GitHub API

13 Sep 18:11
284bb5b
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
3fd3733
Compare
Choose a tag to compare

Forgot to update the /dist folder 🙃

Release 1.0.3: Export Environment Variable

13 Sep 11:01
8c71375
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
26bf50c
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
93fc8b4
Compare
Choose a tag to compare

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