Skip to content
certora

fix: zksync tests #179

Sign in to view logs

fix: zksync tests

fix: zksync tests #179

Triggered via pull request October 22, 2025 10:01
@brotherlymitebrotherlymite
opened #62
bgd-labs:fix/zksync
Status Skipped
Total duration 1s
Artifacts –

certora.yml

on: pull_request
verify
0s
verify
Fit to window
Zoom out
Zoom in