Skip to content

WIP: use ragel options to minimize states and use gotos #1555

WIP: use ragel options to minimize states and use gotos

WIP: use ragel options to minimize states and use gotos #1555

Job Run time
43s
1m 44s
1m 27s
1m 2s
3m 37s
2m 2s
1m 25s
1m 46s
1m 27s
3m 5s
3m 17s
1m 31s
1m 35s
3m 46s
3m 3s
7m 43s
9m 17s
1m 52s
3m 51s
7m 30s
1m 36s
9m 34s
12m 21s
6m 19s
10s
7m 5s
5m 31s
5m 10s
6m 42s
6m 36s
5m 14s
4m 42s
12m 53s
14m 30s
6m 33s
7m 59s
2m 22s
2m 8s
2m 24s
2m 23s
2m 2s
2m 45s
2m 9s
6m 22s
7m 49s
8m 25s
8m 35s
7m 39s
6m 49s
5m 28s
8m 44s
9m 32s
5m 16s
2m 1s
6m 48s
5m 3s
5m 38s
5m 34s
5m 9s
7m 19s
6m 52s
5m 32s
7m 13s
1m 39s
2m 0s
9m 43s
6m 10s
14m 34s
14m 45s
7m 32s
5m 5s
15m 12s
15m 36s
3m 54s
2m 26s
2m 37s
2m 15s
5m 53s
4m 20s
4m 2s
3m 56s
2m 51s
1m 46s
2m 10s
1m 41s
3m 58s
2m 30s
2m 46s
2m 23s
11m 52s
6m 19s
8m 47s
17m 51s
1m 38s
51s
53s
27s
3m 9s
2m 6s
14m 59s
6m 30s
7m 59s
3m 16s
2m 58s
1m 55s
1m 31s
49s
7m 30s
3m 14s
48s
2m 2s
1m 18s
1m 9s
52s
9h 35m 6s