Require ident in PatIdent to be a legal binding name #4155
Job | Run time |
---|---|
58s | |
8s | |
1s | |
2m 18s | |
20s | |
29s | |
1m 43s | |
58s | |
1m 40s | |
20s | |
23s | |
52s | |
27s | |
29s | |
18s | |
27s | |
2m 47s | |
53s | |
15m 31s |
Job | Run time |
---|---|
58s | |
8s | |
1s | |
2m 18s | |
20s | |
29s | |
1m 43s | |
58s | |
1m 40s | |
20s | |
23s | |
52s | |
27s | |
29s | |
18s | |
27s | |
2m 47s | |
53s | |
15m 31s |