Skip to content
certora-ATokenWithDelegation

fix: allow workflow dispatch #52

Sign in to view logs

fix: allow workflow dispatch

fix: allow workflow dispatch #52

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify
24s
24s