Skip to content
certora-ATokenWithDelegation

fix: move event from contract to interface (#134) #24

Sign in to view logs

fix: move event from contract to interface (#134)

fix: move event from contract to interface (#134) #24

Triggered via push July 30, 2025 08:51
@sakulstrasakulstra
pushed 15ad0c4
main
Status Success
Total duration 1m 35s
Artifacts 1

certora-ATokenWithDelegation.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-92b5bf82-d7e2-481a-be7a-3c15217fdef7-16617948652 Expired
14.9 KB
sha256:5b598e2b08944fd54202b0b593982892035df72329e0021b3bc6d1d72c600df1