Skip to content
CI

fix(certora): fix timeout on certora with specific config #842

Sign in to view logs

fix(certora): fix timeout on certora with specific config

fix(certora): fix timeout on certora with specific config #842

Triggered via pull request March 7, 2025 11:03
@0x-r4bbit0x-r4bbit
opened #167
fix/certora-timeout-2
Status Success
Total duration 1m 30s
Artifacts –

test.yml

on: pull_request
Foundry project
1m 21s
Foundry project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Foundry project
Cache not found for keys: linux-foundry-chain-fork-check-26879f1362fa89ff2f4d8fda6a1f8ec344d48c2c, linux-foundry-chain-fork-check-, linux-foundry-chain-fork-