Update verify-std-check workflow to enable loop contracts #3113
Job | Run time |
---|---|
23m 31s | |
17m 3s | |
7m 22s | |
1m 54s | |
2m 53s | |
1m 10s | |
1m 28s | |
34s | |
49s | |
36s | |
0s | |
0s | |
57m 20s |
Job | Run time |
---|---|
23m 31s | |
17m 3s | |
7m 22s | |
1m 54s | |
2m 53s | |
1m 10s | |
1m 28s | |
34s | |
49s | |
36s | |
0s | |
0s | |
57m 20s |