Skip to content
certora

feat: cleanup #25

Sign in to view logs

feat: cleanup

feat: cleanup #25

Triggered via pull request November 14, 2024 16:36
@sakulstrasakulstra
opened #73
bgd-labs:feat/cleanup
Status Skipped
Total duration 6s
Artifacts –

certora-basic.yml

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