Skip to content

Releases: cda-tum/setup-z3

Release 1.6.2

23 Dec 08:22
a3e605d
Compare
Choose a tag to compare

👀 What Changed

🎄 Merry Christmas 🎄

This release merely contains a couple weeks full of dependency updates.

⬆️ Dependencies

12 changes
  • ⬆️ Bump the development-dependencies group with 2 updates @dependabot (#344)
  • ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#343)
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#342)
  • ⬆️ Bump typescript-eslint from 8.16.0 to 8.17.0 in the development-dependencies group @dependabot (#341)
  • ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#340)
  • ⬆️ Bump the development-dependencies group across 1 directory with 6 updates @dependabot (#339)
  • ⬆️ Bump the development-dependencies group with 3 updates @dependabot (#337)
  • ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#336)
  • ⬆️ Bump actions/setup-node from 4.0.4 to 4.1.0 in the github-actions group @dependabot (#335)
  • ⬆️ Bump the development-dependencies group with 5 updates @dependabot (#334)
  • ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#333)
  • ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#332)

Full Changelog: v1.6.1...v1.6.2

Release 1.6.1

11 Oct 08:10
2899695
Compare
Choose a tag to compare

👀 What Changed

This small release adds some special handling to support version 4.8.5, which was tagged slightly differently than other versions.

🚀 Features and Enhancements

⬆️ Dependencies

6 changes
  • ⬆️🪝 update pre-commit hooks @pre-commit-ci (#330)
  • ⬆️ Bump @actions/core from 1.10.1 to 1.11.1 in the production-dependencies group @dependabot (#328)
  • ⬆️ Bump the development-dependencies group across 1 directory with 7 updates @dependabot (#329)
  • ⬆️ Bump the development-dependencies group with 3 updates @dependabot (#326)
  • ⬆️ Bump actions/setup-node from 4.0.3 to 4.0.4 in the github-actions group @dependabot (#325)
  • ⬆️ Bump the development-dependencies group with 4 updates @dependabot (#324)

Full Changelog: v1.6.0...v1.6.1

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