update buildIdris function to support withSource retroactively (#3469) #1180
Job | Run time |
---|---|
3s | |
5m 38s | |
19m 25s | |
6m 54s | |
13m 28s | |
7m 9s | |
10m 27s | |
24m 7s | |
10m 5s | |
4m 25s | |
18m 45s | |
40s | |
22s | |
3m 42s | |
14m 36s | |
12m 53s | |
5m 45s | |
0s | |
11m 32s | |
2h 49m 56s |
Job | Run time |
---|---|
3s | |
5m 38s | |
19m 25s | |
6m 54s | |
13m 28s | |
7m 9s | |
10m 27s | |
24m 7s | |
10m 5s | |
4m 25s | |
18m 45s | |
40s | |
22s | |
3m 42s | |
14m 36s | |
12m 53s | |
5m 45s | |
0s | |
11m 32s | |
2h 49m 56s |