Skip to content
certora-ATokenWithDelegation

fix: readme patches & nightly coverage test (#140) #43

Sign in to view logs

fix: readme patches & nightly coverage test (#140)

fix: readme patches & nightly coverage test (#140) #43

Triggered via push August 28, 2025 09:12
@sakulstrasakulstra
pushed 7fd19d5
main
Status Success
Total duration 1m 26s
Artifacts 1

certora-ATokenWithDelegation.yml

on: push
verify
1m 19s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-c9e32c97-b86c-4128-8a40-a3f78916a7c9-17291330726
17.1 KB
sha256:fe21af8099fce7064bb27747cde522cec509a57b66572369708aac22faa86af1