Only generate syntactic attributes for syntaxDefinition.kore
#4773
Job | Run time |
---|---|
7s | |
7m 39s | |
15m 20s | |
37m 48s | |
1m 13s | |
1h 1m 40s | |
55m 27s | |
11m 14s | |
3h 10m 28s |
syntaxDefinition.kore
#4773
Job | Run time |
---|---|
7s | |
7m 39s | |
15m 20s | |
37m 48s | |
1m 13s | |
1h 1m 40s | |
55m 27s | |
11m 14s | |
3h 10m 28s |