Skip to content
certora

Certora review #38

Sign in to view logs

Certora review

Certora review #38

Triggered via pull request November 18, 2024 19:14
@MichaelMoramiMichaelMorami
synchronize #70
Certora:certora-squashed
Status Skipped
Total duration 4s
Artifacts –

certora-basic.yml

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