Version updated for https://github.com/Certora/certora-run-action to version v2.6.0. This action is used across all versions by 18 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes What’s Changed Trying soroban support by @aehyvari in https://github.com/Certora/certora-run-action/pull/69 New Contributors @aehyvari made their first contribution in https://github.com/Certora/certora-run-action/pull/69 Full Changelog: https://github.com/Certora/certora-run-action/compare/v2.5.1...v2.6.0

Version updated for https://github.com/Certora/certora-run-action to version v2.5.1. This action is used across all versions by 18 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes What’s Changed [CERT-9782] Add failed comment on installation by @H00N24 in https://github.com/Certora/certora-run-action/pull/67 Full Changelog: https://github.com/Certora/certora-run-action/compare/v2.5.0...v2.5.1