Let measure-complexity
output the worst performing verification tasks by resource count
#18739
Job | Run time |
---|---|
5s | |
3m 53s | |
2s | |
1s | |
20m 14s | |
23m 18s | |
22m 23s | |
21m 54s | |
23m 33s | |
12m 44s | |
22m 16s | |
18m 30s | |
1m 8s | |
2h 50m 1s |