[Certora] Unlink Morpho on Timelock #1282

Sign in to view logs

Triggered via pull request November 30, 2024 15:18

QGarchery

synchronize #431

certora/unlink-morpho

Status Success

Total duration 3m 37s

Artifacts –

foundry.yml

on: pull_request

Compilation (without IR)

Compilation (via IR)

Matrix: Tests