Merge pull request #421 from jwillemsen/jwi-exftimerfurzzr #1000
Job | Run time |
---|---|
1h 34m 48s | |
1h 39m 25s | |
2h 0m 3s | |
1h 47m 40s | |
1h 54m 56s | |
1h 54m 11s | |
2h 16m 52s | |
1h 53m 5s | |
15h 1m 0s |
Job | Run time |
---|---|
1h 34m 48s | |
1h 39m 25s | |
2h 0m 3s | |
1h 47m 40s | |
1h 54m 56s | |
1h 54m 11s | |
2h 16m 52s | |
1h 53m 5s | |
15h 1m 0s |