Skip to content
Formatting

[Certora] Unlink Morpho on Timelock #1281

Sign in to view logs

[Certora] Unlink Morpho on Timelock

[Certora] Unlink Morpho on Timelock #1281

Triggered via pull request November 29, 2024 18:23
@QGarcheryQGarchery
opened #431
certora/unlink-morpho
Status Success
Total duration 46s
Artifacts –

formatting.yml

on: pull_request
lint
34s
lint
Fit to window
Zoom out
Zoom in