Gentype: fix issue with labelled args which should not be grouped. (#… #2775
| Job | Run time |
|---|---|
| 2m 4s | |
| 2m 13s | |
| 13m 41s | |
| 23s | |
| 10m 54s | |
| 15m 37s | |
| 5m 23s | |
| 1m 16s | |
| 23s | |
| 20s | |
| 12s | |
| 19s | |
| 1m 15s | |
| 0s | |
| 54m 0s |
| Job | Run time |
|---|---|
| 2m 4s | |
| 2m 13s | |
| 13m 41s | |
| 23s | |
| 10m 54s | |
| 15m 37s | |
| 5m 23s | |
| 1m 16s | |
| 23s | |
| 20s | |
| 12s | |
| 19s | |
| 1m 15s | |
| 0s | |
| 54m 0s |