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