Check world (build F* and all projects) #1
Job | Run time |
---|---|
8m 38s | |
9m 8s | |
15m 5s | |
7m 3s | |
2m 18s | |
13m 18s | |
10m 56s | |
1h 49m 21s | |
4m 11s | |
23m 9s | |
7m 49s | |
12m 29s | |
47m 44s | |
10m 16s | |
10m 43s | |
6m 53s | |
1m 10s | |
1m 12s | |
5h 1m 23s |
Job | Run time |
---|---|
8m 38s | |
9m 8s | |
15m 5s | |
7m 3s | |
2m 18s | |
13m 18s | |
10m 56s | |
1h 49m 21s | |
4m 11s | |
23m 9s | |
7m 49s | |
12m 29s | |
47m 44s | |
10m 16s | |
10m 43s | |
6m 53s | |
1m 10s | |
1m 12s | |
5h 1m 23s |