Merge pull request #305 from jwillemsen/jwi-bitmaskenum #852
Job | Run time |
---|---|
50m 53s | |
51m 25s | |
57m 2s | |
46m 13s | |
49m 15s | |
56m 58s | |
57m 0s | |
46m 31s | |
57m 9s | |
7h 52m 26s |
Job | Run time |
---|---|
50m 53s | |
51m 25s | |
57m 2s | |
46m 13s | |
49m 15s | |
56m 58s | |
57m 0s | |
46m 31s | |
57m 9s | |
7h 52m 26s |