🩹 Fix wrong type name in boxer_linux.cpp
#14
Job | Run time |
---|---|
27s | |
2m 6s | |
56s | |
1m 45s | |
22s | |
50s | |
1m 19s | |
36s | |
0s | |
0s | |
8m 21s |
boxer_linux.cpp
#14
Job | Run time |
---|---|
27s | |
2m 6s | |
56s | |
1m 45s | |
22s | |
50s | |
1m 19s | |
36s | |
0s | |
0s | |
8m 21s |