Version updated for cda-tum/setup-z3 to version v1.3.1. This action is used across all versions by 23 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes 👀 What Changed ⬆️ Dependencies Build(deps): Bump undici from 6.6.2 to 6.11.1 @dependabot (#298) ⬆️🪝 update pre-commit hooks @pre-commit-ci (#297) Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#296) Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#295) Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#294) Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#291) Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#293) Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#292) Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#290) Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#288) Build(deps): Bump undici from 6.

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.

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.

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.

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.