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

• This publisher is shown as ‘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

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

• cda-tum
• GitHub Actions