Certora

Merge pull request #469 from morpho-org/claude/ci-workflow-dispatch #500

Sign in to view logs

Triggered via push August 26, 2026 11:36

MathisGD

main

Status Success

Total duration 6m 58s

Artifacts –

certora.yml

on: push

Matrix: verify