Skip to content

Update Grammars

Update Grammars #161

Job Run time
11s
6s
13s
19s
16s
10s
9s
4s
3s
5s
4s
4s
10s
9s
4s
3s
30s
1m 8s
33s
5s
1m 24s
13s
12s
9s
32s
7s
7s
8s
5s
5s
7s
22s
8s
10s
4s
5s
9s
6s
7s
3s
4s
8s
3s
7s
8s
3s
5s
4s
6s
4s
6s
2m 8s
5s
4s
44s
7s
10s
7s
9s
4s
10s
5s
11s
4s
3s
5s
3s
1m 1s
3s
10s
7s
7s
4s
10s
19s
9s
8s
5s
5s
3s
7s
4s
7s
5s
6s
12s
8s
7s
5s
7s
7s
4s
7s
7s
5s
4s
18m 19s