Certora Run Action
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