Certora Run Action

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

• Certora
• GitHub Actions