add for checker for command ids order in a command set and union types #162
| Job | Run time |
|---|---|
| 1h 19m 52s | |
| 1h 20m 57s | |
| 1h 22m 34s | |
| 1h 25m 15s | |
| 1h 18m 7s | |
| 1h 17m 50s | |
| 1h 18m 21s | |
| 9h 22m 56s |
| Job | Run time |
|---|---|
| 1h 19m 52s | |
| 1h 20m 57s | |
| 1h 22m 34s | |
| 1h 25m 15s | |
| 1h 18m 7s | |
| 1h 17m 50s | |
| 1h 18m 21s | |
| 9h 22m 56s |