Merge pull request #464 from morpho-org/chore/finish-sdk-removal #17

Sign in to view logs

Triggered via push November 6, 2024 16:38

MathisGD

main

Status Success

Total duration 6m 28s

Artifacts –

certora.yml

on: push

Matrix: verify