Certora #172

Sign in to view logs

Manually triggered October 21, 2024 19:23

colin@verif/health-timeout

Status Failure

Total duration 1h 5m 53s

Artifacts –

certora.yml

on: workflow_dispatch

Matrix: verify

Annotations

1 error

verify (Health)

Process completed with exit code 1.