Releases: cda-tum/setup-z3
Release 1.6.2
👀 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
👀 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
👀 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
- 🚸 automatically use GitHub token @burgholzer (#323)
⬆️ Dependencies
- ⬆️ Bump the development-dependencies group with 5 updates @dependabot (#322)
- ⬆️ Bump the development-dependencies group with 3 updates @dependabot (#320)
- ⬆️ Bump the development-dependencies group with 5 updates @dependabot (#319)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#318)
Full Changelog: v1.5.0...v1.6.0
Release 1.5.0
👀 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
👀 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
👀 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
👀 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
👀 What Changed
🚀 Features and Enhancements
- Add the ability to link against the downloaded Z3 version @daemontus (#275)
⬆️ Dependencies
29 changes
- Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#276)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#274)
- Build(deps): Bump the github-actions group with 1 update @dependabot (#273)
- Build(deps-dev): Bump the development-dependencies group with 2 updates @dependabot (#272)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#271)
- Build(deps): Bump the github-actions group with 2 updates @dependabot (#270)
- Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#269)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#268)
- Build(deps): Bump the production-dependencies group with 1 update @dependabot (#266)
- Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#267)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#265)
- Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#263)
- Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#264)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#262)
- Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#261)
- Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#259)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#258)
- Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#257)
- Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#256)
- Build(deps-dev): Bump the development-dependencies group with 7 updates @dependabot (#255)
- Build(deps): Bump the github-actions group with 1 update @dependabot (#252)
- Build(deps): Bump the production-dependencies group with 1 update @dependabot (#253)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#251)
- Build(deps): Bump undici from 5.23.0 to 5.26.3 @dependabot (#248)
- Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#247)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci (#246)
- Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#245)
- Build(deps): Bump the github-actions group with 1 update @dependabot (#244)
- Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#243)
Full Changelog: v1.2.0...v1.3.0
Release 1.2.0: NodeJS v20
👀 What Changed
The action now runs on NodeJS v20.
🤖 CI
- 🔧 introduce dependabot groups @burgholzer (#232)
⬆️ 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
👀 What Changed
🐛 Bug Fixes
- 🐛 Fix node action path in action.yml @burgholzer (#221)
⬆️ Dependencies
- Build(deps-dev): Bump @types/node from 20.4.9 to 20.5.0 @dependabot (#220)
- Build(deps-dev): Bump eslint from 8.46.0 to 8.47.0 @dependabot (#219)
Full Changelog: v1.1.0...v1.1.1