Skip to content

Merge pull request #83 from morpho-org/chore/small-fixes #154

Merge pull request #83 from morpho-org/chore/small-fixes

Merge pull request #83 from morpho-org/chore/small-fixes #154

Triggered via push October 7, 2024 10:20
Status Success
Total duration 4m 17s
Billable time 14m
Artifacts

certora.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in