Skip to content

Improve handling of trailing optional inputs in pattern matching #8193

Improve handling of trailing optional inputs in pattern matching

Improve handling of trailing optional inputs in pattern matching #8193

Job Run time
9m 58s
3m 18s
8m 52s
9m 43s
7m 32s
23m 22s
2m 45s
4s
9m 50s
19m 5s
18m 2s
2m 52s
18m 25s
18m 31s
14m 54s
17m 51s
19m 36s
11m 49s
10m 27s
11m 45s
11m 14s
10m 37s
8m 40s
11m 50s
9m 51s
6m 16s
5m 58s
5m 34s
5m 34s
4m 56s
5m 17s
7m 40s
8m 33s
5h 40m 41s