Below you will find pages that utilize the taxonomy term “Certora”
December 1, 2025
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
November 25, 2025
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