Certora

Certora #26

Sign in to view logs

Triggered via schedule November 1, 2025 00:11

aehyvari

dev

Status Cancelled

Total duration 1d 0h 0m 1s

Artifacts –

certora-prover.yml

on: schedule

Annotations

1 error

The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s