Skip to content
certora

Certora review #39

Sign in to view logs

Certora review

Certora review #39

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

certora-basic.yml

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