[ir] Add source information to the IR. #4268
Job | Run time |
---|---|
12m 21s | |
44s | |
16m 19s | |
1h 1m 48s | |
1h 4m 49s | |
20m 43s | |
26m 43s | |
52m 23s | |
54m 2s | |
5h 9m 52s |
Job | Run time |
---|---|
12m 21s | |
44s | |
16m 19s | |
1h 1m 48s | |
1h 4m 49s | |
20m 43s | |
26m 43s | |
52m 23s | |
54m 2s | |
5h 9m 52s |