Merge pull request #2223 from herwinw/pattern_match_alternation #7067
Job | Run time |
---|---|
9m 58s | |
36m 1s | |
36m 22s | |
38m 11s | |
42m 1s | |
26m 59s | |
29m 56s | |
31m 35s | |
38m 48s | |
31m 34s | |
35m 53s | |
37m 1s | |
6h 34m 19s |
Job | Run time |
---|---|
9m 58s | |
36m 1s | |
36m 22s | |
38m 11s | |
42m 1s | |
26m 59s | |
29m 56s | |
31m 35s | |
38m 48s | |
31m 34s | |
35m 53s | |
37m 1s | |
6h 34m 19s |