fava.util: remove unused constant #979
Job | Run time |
---|---|
13s | |
1m 6s | |
1m 28s | |
48s | |
1m 1s | |
25s | |
45s | |
45s | |
36s | |
41s | |
1m 30s | |
1m 19s | |
1m 8s | |
1m 34s | |
1m 9s | |
14m 28s |
Job | Run time |
---|---|
13s | |
1m 6s | |
1m 28s | |
48s | |
1m 1s | |
25s | |
45s | |
45s | |
36s | |
41s | |
1m 30s | |
1m 19s | |
1m 8s | |
1m 34s | |
1m 9s | |
14m 28s |