Setup Z3

Version updated for cda-tum/setup-z3 to version v1.1.0.

  • This publisher is shown verified by GitHub.
  • This action is used across all versions by 15 repositories.

Go to the GitHub Marketplace to find the latest changes.

Release notes

đź‘€ What Changed

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

⬆️ Dependencies

  • 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: https://github.com/cda-tum/setup-z3/compare/v1.0.10...v1.1.0