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.