Skip to content
certora

Certora review #20

Sign in to view logs

Certora review

Certora review #20

Triggered via pull request November 8, 2024 07:43
@nisnislevinisnislevi
opened #70
Certora:certora-squashed
Status Skipped
Total duration 5s
Artifacts –

certora-basic.yml

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