Fat32 Boot partition and GRUB-EFI support #183
Job | Run time |
---|---|
14m 23s | |
12m 2s | |
12m 54s | |
11m 33s | |
12m 27s | |
12m 16s | |
7m 6s | |
14m 35s | |
6m 25s | |
2m 14s | |
7m 48s | |
2m 15s | |
3m 58s | |
1m 10s | |
53s | |
0s | |
0s | |
2h 1m 59s |
Job | Run time |
---|---|
14m 23s | |
12m 2s | |
12m 54s | |
11m 33s | |
12m 27s | |
12m 16s | |
7m 6s | |
14m 35s | |
6m 25s | |
2m 14s | |
7m 48s | |
2m 15s | |
3m 58s | |
1m 10s | |
53s | |
0s | |
0s | |
2h 1m 59s |