Skip to content
certora-ATokenWithDelegation

fix: readme patches & nightly coverage test #41

Sign in to view logs

fix: readme patches & nightly coverage test

fix: readme patches & nightly coverage test #41

Triggered via pull request August 28, 2025 07:48
@sakulstrasakulstra
opened #140
bgd-labs:fix/readme
Status Skipped
Total duration 1s
Artifacts –

certora-ATokenWithDelegation.yml

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