Skip to content
certora-basic

Feat/test ccov #144

Sign in to view logs

Feat/test ccov

Feat/test ccov #144

Triggered via pull request March 4, 2025 09:35
@sakulstrasakulstra
opened #108
bgd-labs:feat/test-ccov
Status Skipped
Total duration 3s
Artifacts –

certora-basic.yml

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