Skip to content

perf: optimize OpamString.split #3971

perf: optimize OpamString.split

perf: optimize OpamString.split #3971

Job Run time
7s
7s
23m 29s
23m 29s
3m 26s
3m 26s
12m 49s
25m 48s
21s
21s
2m 47s
2m 47s
2m 10s
2m 10s
3m 23s
3m 23s
2m 14s
2m 14s
2m 25s
2m 25s
8s
8s
2m 17s
2m 17s
2m 38s
2m 38s
2m 17s
2m 17s
2m 8s
2m 8s
2m 5s
2m 5s
2m 12s
2m 12s
34m 28s
36m 20s
34m 20s
38m 43s
33m 29s
40m 21s
33m 0s
42m 50s
40m 24s
41m 55s
36m 3s
39m 51s
2m 29s
2m 29s
12m 7s
12m 7s
5m 0s
5m 0s
55s
55s
1m 15s
1m 15s
9m 51s
9m 51s
1m 3s
1m 3s
1m 27s
1m 27s
1m 20s
1m 20s
1m 37s
1m 37s
1m 18s
1m 18s
14m 21s
14m 21s
15m 47s
15m 47s
3m 27s
3m 27s
1m 14s
1m 14s
36s
2m 30s
1m 12s
1m 12s
12h 30m 27s