Skip to content
certora

fix: use token for all actions #27

Sign in to view logs

fix: use token for all actions

fix: use token for all actions #27

Run time

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