Skip to content
certora-ATokenWithDelegation

fix: readme patches & nightly coverage test #42

Sign in to view logs

fix: readme patches & nightly coverage test

fix: readme patches & nightly coverage test #42

Triggered via pull request August 28, 2025 08:58
@sakulstrasakulstra
synchronize #140
bgd-labs:fix/readme
Status Skipped
Total duration –
Artifacts –

certora-ATokenWithDelegation.yml

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