Tests

fix: upgrade prover version to 7.26.0 #593

Sign in to view logs

Summary
Jobs
- tests
Run details
- Usage
- Workflow file

Triggered via pull request March 26, 2025 12:25

synchronize #93

certora/prover-726

Status Success

Total duration 13m 34s

Artifacts –

tests.yml

on: pull_request