Skip to content
Tests

fix: upgrade prover version to 7.26.0 #583

Sign in to view logs

fix: upgrade prover version to 7.26.0

fix: upgrade prover version to 7.26.0 #583

Re-run triggered March 26, 2025 08:00
@miguelmtzinfmiguelmtzinf
#93
certora/prover-726
Status Failure
Total duration 39s
Artifacts –

tests.yml

on: pull_request
tests
29s
tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
tests
Process completed with exit code 1.
tests
Cache not found for keys: linux-foundry-chain-fork-tests-2f2ffffe0ff2170cdd4c029e2b7ce8fd4bf5ceb3, linux-foundry-chain-fork-tests-, linux-foundry-chain-fork-