Setup Z3

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

  • This action is used across all versions by 20 repositories.

Go to the GitHub Marketplace to find the latest changes.

Release notes

👀 What Changed

🚀 Features and Enhancements

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

⬆️ Dependencies

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