warp: Use more meaningful types instead of Bool
#361
Job | Run time |
---|---|
3m 5s | |
3m 12s | |
2m 51s | |
2m 12s | |
2m 16s | |
9m 9s | |
5m 51s | |
5m 4s | |
5m 32s | |
5m 9s | |
5m 49s | |
5m 50s | |
5m 9s | |
5m 51s | |
5m 49s | |
15m 31s | |
1h 28m 20s |