print_flags.py: clean up #1458
Job | Run time |
---|---|
0s | |
3m 39s | |
1m 53s | |
2m 6s | |
0s | |
4m 13s | |
10m 14s | |
3m 2s | |
2m 52s | |
1m 49s | |
7m 45s | |
8m 50s | |
7m 4s | |
8m 7s | |
7m 25s | |
7m 24s | |
0s | |
1h 16m 23s |
Job | Run time |
---|---|
0s | |
3m 39s | |
1m 53s | |
2m 6s | |
0s | |
4m 13s | |
10m 14s | |
3m 2s | |
2m 52s | |
1m 49s | |
7m 45s | |
8m 50s | |
7m 4s | |
8m 7s | |
7m 25s | |
7m 24s | |
0s | |
1h 16m 23s |