Merge pull request #461 from morpho-org/feat/certora #8

Sign in to view logs

Triggered via push October 31, 2024 17:30

MathisGD

main

Status Success

Total duration 6m 29s

Artifacts –

certora.yml

on: push

Matrix: verify