Merge pull request #309 from jwillemsen/jwi-bitmaskcdr #865
Job | Run time |
---|---|
42m 54s | |
42m 47s | |
1h 7m 19s | |
57m 50s | |
48m 44s | |
1h 7m 24s | |
1h 1m 7s | |
1h 1m 21s | |
2h 9m 38s | |
9h 39m 4s |
Job | Run time |
---|---|
42m 54s | |
42m 47s | |
1h 7m 19s | |
57m 50s | |
48m 44s | |
1h 7m 24s | |
1h 1m 7s | |
1h 1m 21s | |
2h 9m 38s | |
9h 39m 4s |