Skip to content
Certora

[Certora] Dispatch tokens and verify safe transfer lib #26

Sign in to view logs

[Certora] Dispatch tokens and verify safe transfer lib

[Certora] Dispatch tokens and verify safe transfer lib #26

Triggered via pull request August 16, 2023 13:17
@QGarcheryQGarchery
opened #321
certora/dispatch-tokens
Status Success
Total duration 5m 16s
Artifacts –

certora.yml

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