Setup Z3
Version updated for cda-tum/setup-z3 to version v1.2.0.
- This publisher is shown as erified by GitHub.
- This action is used across all versions by 17 repositories.
Go to the GitHub Marketplace to find the latest changes.
Release notes
👀 What Changed
The action now runs on NodeJS v20.
🤖 CI
- 🔧 introduce dependabot groups @burgholzer (#232)
⬆️ Dependencies
- ⬆️ 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: https://github.com/cda-tum/setup-z3/compare/v1.1.1...v1.1.2