Setup Z3
Version updated for https://github.com/cda-tum/setup-z3 to version v1.7.1.
- This action is used across all versions by 44 repositories.
Go to the GitHub Marketplace to find the latest changes.
Release notes
đź‘€ What Changed
This release brings a couple of dependency updates and security fixes.
⬆️ Dependencies
- đź”’ Fix for https://github.com/cda-tum/setup-z3/security/dependabot/32 @burgholzer (#419)
- ⬆️ Bump actions/setup-node from 6.0.0 to 6.1.0 in the github-actions group @dependabot[bot] (#418)
- ⬆️ Bump typescript-eslint from 8.48.0 to 8.48.1 in the development-dependencies group @dependabot[bot] (#417)
- ⬆️🪝 update pre-commit hooks @pre-commit-ci[bot] (#416)
- ⬆️ Bump typescript-eslint from 8.47.0 to 8.48.0 in the development-dependencies group @dependabot[bot] (#415)
- ⬆️ Bump glob from 10.4.5 to 10.5.0 @dependabot[bot] (#414)
- ⬆️ Bump the development-dependencies group with 2 updates @dependabot[bot] (#413)
- ⬆️ Bump actions/checkout from 5 to 6 in the github-actions group @dependabot[bot] (#412)
- ⬆️ Bump the development-dependencies group with 3 updates @dependabot[bot] (#411)
- ⬆️ Bump js-yaml from 4.1.0 to 4.1.1 @dependabot[bot] (#410)
Full Changelog: https://github.com/cda-tum/setup-z3/compare/v1.7.0...v1.7.1