Skip to content

Merge pull request #70 from morpho-org/style/constructor-readability #132

Merge pull request #70 from morpho-org/style/constructor-readability

Merge pull request #70 from morpho-org/style/constructor-readability #132

Triggered via push October 4, 2024 15:04
Status Success
Total duration 4m 51s
Billable time 15m
Artifacts

certora.yml

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