Skip to content
certora

V3.3.0 #113

Sign in to view logs

V3.3.0

V3.3.0 #113

Triggered via pull request January 30, 2025 14:44
@sakulstrasakulstra
synchronize #87
bgd-labs:v3.3.0
Status Skipped
Total duration 3s
Artifacts –

certora-basic.yml

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