Certora

Certora #505

Sign in to view logs

Manually triggered August 31, 2026 16:50

claude[bot]

main

Status Success

Total duration 13m 30s

Artifacts –

certora.yml

on: workflow_dispatch

Matrix: verify