feat: show proof states after =>, and not after semicolons (#27) #138
Job | Run time |
---|---|
2m 43s | |
2m 51s | |
2m 45s | |
2m 35s | |
2m 44s | |
2m 34s | |
2m 43s | |
2m 33s | |
2m 20s | |
23m 48s |
Job | Run time |
---|---|
2m 43s | |
2m 51s | |
2m 45s | |
2m 35s | |
2m 44s | |
2m 34s | |
2m 43s | |
2m 33s | |
2m 20s | |
23m 48s |