Skip to content

Releases: cda-tum/setup-z3

Release 1.6.0

09 Sep 21:08
9e310fb
Compare
Choose a tag to compare

👀 What Changed

Starting with this minor release it is no longer necessary to specify the GITHUB_TOKEN environment variable when using this action.
A new (optional) token input has been added, that defaults to the repositories GitHub token.

🚀 Features and Enhancements

⬆️ Dependencies

Full Changelog: v1.5.0...v1.6.0

Release 1.5.0

19 Aug 08:21
3e870ee
Compare
Choose a tag to compare

👀 What Changed

Migrated the ESLint configuration to ESLint v9 and reworked the dev-dependencies.
No user-facing, breaking changes.

⬆️ Dependencies

  • ⬆️🔧♻️ Bump the development-dependencies and update ESLint configuration @dependabot (#317)
  • Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#314)

Full Changelog: v1.4.1...v1.5.0

Release 1.4.1

22 Jul 14:25
cf8b984
Compare
Choose a tag to compare

👀 What Changed

A small release with some dependency updates and a few infrastructure changes. No major user-facing changes.

🤖 CI

  • Build(deps-dev): Bump the development-dependencies group across 1 directory with 5 updates @dependabot (#313)

⬆️ Dependencies

8 changes
  • Build(deps-dev): Bump the development-dependencies group across 1 directory with 5 updates @dependabot (#313)
  • Build(deps): Bump actions/setup-node from 4.0.2 to 4.0.3 in the github-actions group @dependabot (#311)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#310)
  • Build(deps-dev): Bump braces from 3.0.2 to 3.0.3 in the npm_and_yarn group @dependabot (#309)
  • Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#308)
  • Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#307)
  • Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#306)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#305)

Full Changelog: v1.4.0...v1.4.1

Release 1.4.0

13 May 09:57
2615fe0
Compare
Choose a tag to compare

👀 What Changed

Updated to the latest release of @octokit/action which broke a couple of things and required some adjustments to the package configuration. Users of the action should not be affected.

⬆️ Dependencies

6 changes
  • Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the production-dependencies group @dependabot (#304)
  • Build(deps): Bump @octokit/openapi-types from 22.1.0 to 22.2.0 in the production-dependencies group @dependabot (#303)
  • Build(deps): Bump @octokit/openapi-types from 22.0.1 to 22.1.0 in the production-dependencies group @dependabot (#302)
  • Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#301)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#300)
  • Build(deps): Bump the production-dependencies group with 3 updates @dependabot (#299)

Full Changelog: v1.3.1...v1.4.0

Release 1.3.1

04 Apr 16:28
296deca
Compare
Choose a tag to compare

👀 What Changed

⬆️ Dependencies

21 changes
  • Build(deps): Bump undici from 6.6.2 to 6.11.1 @dependabot (#298)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#297)
  • Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#296)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#295)
  • Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#294)
  • Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#291)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#293)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#292)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#290)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#288)
  • Build(deps): Bump undici from 6.0.1 to 6.6.2 @dependabot (#287)
  • Build(deps): Bump the github-actions group with 1 update @dependabot (#286)
  • Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#285)
  • Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#284)
  • Build(deps): Bump the github-actions group with 1 update @dependabot (#283)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#282)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#281)
  • Build(deps): Bump the production-dependencies group with 1 update @dependabot (#279)
  • Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#280)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#278)
  • Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#277)

Full Changelog: v1.3.0...v1.3.1

Release 1.3.0

02 Jan 09:49
2e36b65
Compare
Choose a tag to compare

👀 What Changed

🚀 Features and Enhancements

  • Add the ability to link against the downloaded Z3 version @daemontus (#275)

⬆️ Dependencies

29 changes

Full Changelog: v1.2.0...v1.3.0

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