Skip to content
certora

fix: use token for all actions #27

Sign in to view logs

fix: use token for all actions

fix: use token for all actions #27

Triggered via pull request November 14, 2024 17:25
@sakulstrasakulstra
opened #74
bgd-labs:fix/ci
Status Skipped
Total duration 4s
Artifacts –

certora-basic.yml

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