Skip to content
certora-basic

update certora ci #137

Sign in to view logs

update certora ci

update certora ci #137

Triggered via pull request February 24, 2025 11:06
@sakulstrasakulstra
opened #104
Certora:certora-squashed
Status Skipped
Total duration 3s
Artifacts –

certora-basic.yml

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