Require ident in PatIdent to be a legal binding name #4156
Job | Run time |
---|---|
1m 4s | |
15s | |
8s | |
27s | |
19s | |
57s | |
37s | |
42s | |
28s | |
17s | |
1m 50s | |
3m 1s | |
2m 17s | |
1m 42s | |
51s | |
28s | |
30s | |
53s | |
16m 46s |
Job | Run time |
---|---|
1m 4s | |
15s | |
8s | |
27s | |
19s | |
57s | |
37s | |
42s | |
28s | |
17s | |
1m 50s | |
3m 1s | |
2m 17s | |
1m 42s | |
51s | |
28s | |
30s | |
53s | |
16m 46s |