Skip to content

Releases: cda-tum/setup-z3

Release 1.2.0: NodeJS v20

25 Sep 08:51
3193221
Compare
Choose a tag to compare

👀 What Changed

The action now runs on NodeJS v20.

🤖 CI

⬆️ Dependencies

20 changes
  • ⬆️ Switching to node 20 @burgholzer (#242)
  • Build(deps): Bump the production-dependencies group with 4 updates @dependabot (#241)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#240)
  • Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#239)
  • Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#237)
  • Build(deps): Bump the github-actions group with 1 update @dependabot (#236)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#235)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#234)
  • Build(deps-dev): Bump the development-dependencies group with 1 update @dependabot (#233)
  • 🔧 introduce dependabot groups @burgholzer (#232)
  • Build(deps-dev): Bump typescript from 5.1.6 to 5.2.2 @dependabot (#228)
  • Build(deps-dev): Bump @typescript-eslint/parser from 6.4.0 to 6.4.1 @dependabot (#231)
  • Build(deps-dev): Bump eslint from 8.47.0 to 8.48.0 @dependabot (#230)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 6.4.0 to 6.4.1 @dependabot (#229)
  • Build(deps-dev): Bump jest from 29.6.2 to 29.6.4 @dependabot (#227)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#226)
  • Build(deps-dev): Bump @types/node from 20.5.0 to 20.5.1 @dependabot (#225)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 6.3.0 to 6.4.0 @dependabot (#224)
  • Build(deps-dev): Bump @typescript-eslint/parser from 6.3.0 to 6.4.0 @dependabot (#223)
  • Build(deps-dev): Bump eslint-plugin-import from 2.28.0 to 2.28.1 @dependabot (#222)

Full Changelog: v1.1.1...v1.1.2

Release 1.1.1

15 Aug 00:00
a9b9208
Compare
Choose a tag to compare

👀 What Changed

🐛 Bug Fixes

⬆️ Dependencies

Full Changelog: v1.1.0...v1.1.1

Release 1.1.0

11 Aug 14:27
8dcc187
Compare
Choose a tag to compare

👀 What Changed

The action now runs on NodeJS v18. Furthermore, several dependencies got major updates.

⬆️ Dependencies

38 changes
  • Build(deps): Bump @octokit/openapi-types from 16.0.0 to 18.0.0 @dependabot (#181)
  • ⬆️ Update npm packages @burgholzer (#218)
  • Build(deps): Bump @octokit/action from 6.0.4 to 6.0.5 @dependabot (#212)
  • Build(deps): Bump @octokit/core from 4.2.4 to 5.0.0 @dependabot (#207)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#216)
  • Build(deps-dev): Bump eslint-plugin-jest from 27.2.2 to 27.2.3 @dependabot (#214)
  • Build(deps-dev): Bump @types/node from 20.4.2 to 20.4.4 @dependabot (#210)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.61.0 to 5.62.0 @dependabot (#209)
  • Build(deps-dev): Bump @types/node from 20.3.1 to 20.4.2 @dependabot (#206)
  • Build(deps): Bump @octokit/core from 4.2.1 to 4.2.4 @dependabot (#200)
  • Build(deps): Bump semver from 6.3.0 to 6.3.1 @dependabot (#205)
  • Build(deps): Bump actions/setup-node from 3.6.0 to 3.7.0 @dependabot (#203)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#204)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.60.0 to 5.61.0 @dependabot (#202)
  • Build(deps-dev): Bump jest from 29.5.0 to 29.6.1 @dependabot (#201)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.60.1 to 5.61.0 @dependabot (#199)
  • Build(deps-dev): Bump typescript from 5.1.3 to 5.1.6 @dependabot (#198)
  • Build(deps-dev): Bump ts-jest from 29.1.0 to 29.1.1 @dependabot (#197)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.60.0 to 5.60.1 @dependabot (#196)
  • Build(deps-dev): Bump eslint from 8.43.0 to 8.44.0 @dependabot (#195)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.11 to 5.60.0 @dependabot (#193)
  • Build(deps-dev): Bump eslint-plugin-jest from 27.2.1 to 27.2.2 @dependabot (#192)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.11 to 5.60.0 @dependabot (#194)
  • Build(deps): Bump @octokit/action from 5.0.5 to 6.0.4 @dependabot (#191)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#190)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.9 to 5.59.11 @dependabot (#189)
  • Build(deps-dev): Bump eslint from 8.42.0 to 8.43.0 @dependabot (#188)
  • Build(deps-dev): Bump @types/node from 20.3.0 to 20.3.1 @dependabot (#187)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.9 to 5.59.11 @dependabot (#186)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.8 to 5.59.9 @dependabot (#184)
  • Build(deps-dev): Bump eslint-plugin-github from 4.7.0 to 4.8.0 @dependabot (#183)
  • Build(deps-dev): Bump @types/node from 20.2.5 to 20.3.0 @dependabot (#185)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.6 to 5.59.9 @dependabot (#182)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#180)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.7 to 5.59.8 @dependabot (#176)
  • Build(deps-dev): Bump typescript from 5.0.4 to 5.1.3 @dependabot (#177)
  • Build(deps-dev): Bump eslint from 8.41.0 to 8.42.0 @dependabot (#179)
  • Build(deps-dev): Bump @types/node from 20.2.3 to 20.2.5 @dependabot (#178)

Full Changelog: v1.0.10...v1.1.0

Release 1.0.10

30 May 15:47
a9604fb
Compare
Choose a tag to compare

👀 What Changed

🚀 Features and Enhancements

🤖 CI

⬆️ Dependencies

32 changes
  • Build(deps): Bump @octokit/core from 4.2.0 to 4.2.1 @dependabot (#168)
  • Build(deps): Bump @octokit/action from 5.0.2 to 5.0.5 @dependabot (#171)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.6 to 5.59.7 @dependabot (#169)
  • Build(deps-dev): Bump eslint from 8.40.0 to 8.41.0 @dependabot (#170)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.5 to 5.59.6 @dependabot (#164)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.5 to 5.59.6 @dependabot (#165)
  • Build(deps-dev): Bump @types/node from 20.1.4 to 20.2.3 @dependabot (#166)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.2 to 5.59.5 @dependabot (#160)
  • Build(deps-dev): Bump @types/node from 20.1.0 to 20.1.4 @dependabot (#162)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.2 to 5.59.5 @dependabot (#159)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.1 to 5.59.2 @dependabot (#156)
  • Build(deps-dev): Bump eslint from 8.39.0 to 8.40.0 @dependabot (#157)
  • Build(deps-dev): Bump @types/node from 18.16.3 to 20.1.0 @dependabot (#154)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.1 to 5.59.2 @dependabot (#153)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.0 to 5.59.1 @dependabot (#152)
  • Build(deps-dev): Bump @types/node from 18.16.0 to 18.16.3 @dependabot (#150)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.59.0 to 5.59.1 @dependabot (#149)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.58.0 to 5.59.0 @dependabot (#148)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.58.0 to 5.59.0 @dependabot (#144)
  • Build(deps-dev): Bump @types/node from 18.15.11 to 18.16.0 @dependabot (#146)
  • Build(deps-dev): Bump eslint from 8.38.0 to 8.39.0 @dependabot (#145)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.57.1 to 5.58.0 @dependabot (#143)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.57.1 to 5.58.0 @dependabot (#142)
  • Build(deps-dev): Bump eslint from 8.37.0 to 8.38.0 @dependabot (#140)
  • Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.56.0 to 5.57.1 @dependabot (#141)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.57.0 to 5.57.1 @dependabot (#139)
  • Build(deps-dev): Bump typescript from 5.0.3 to 5.0.4 @dependabot (#138)
  • Build(deps-dev): Bump @types/node from 18.15.10 to 18.15.11 @dependabot (#135)
  • Build(deps-dev): Bump eslint from 8.36.0 to 8.37.0 @dependabot (#133)
  • Build(deps-dev): Bump typescript from 5.0.2 to 5.0.3 @dependabot (#134)
  • Build(deps-dev): Bump @typescript-eslint/parser from 5.56.0 to 5.57.0 @dependabot (#136)
  • Build(deps-dev): Bump ts-jest from 29.0.5 to 29.1.0 @dependabot (#137)

Full Changelog: v1.0.9...v1.0.10

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
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 🙃