Skip to content
Formatting

Merge pull request #431 from morpho-org/certora/unlink-morpho #1284

Sign in to view logs

Merge pull request #431 from morpho-org/certora/unlink-morpho

Merge pull request #431 from morpho-org/certora/unlink-morpho #1284

Triggered via push December 2, 2024 08:05
@MathisGDMathisGD
pushed 750ee0a
main
Status Success
Total duration 38s
Artifacts –

formatting.yml

on: push
lint
28s
lint
Fit to window
Zoom out
Zoom in