Build details
Build ID | 1389 |
---|---|
Evaluation | 369667 (nonguix) |
Status | Canceled |
System | i686-linux |
Name | compcert-3.10 |
Duration | — |
Finished | — |
Log file | |
Derivation | /gnu/store/2k6bc46v2j49qz285rkai0n9q40slflf-compcert-3.10.drv |
Dependencies | — |
Outputs | /gnu/store/sxgkkhpnbr8phz0vybfpj7ypp5axncbm-compcert-3.10 |
Build history
ID | Name | Completion time | |
---|---|---|---|
1357 | compcert-3.10 | 2 Mar 2022 00:28 | |
1264 | compcert-3.10 | 11 Feb 2022 10:51 | |
1167 | compcert-3.10 | 6 Feb 2022 21:59 | |
1157 | compcert-3.10 | 4 Feb 2022 18:07 | |
1143 | compcert-3.10 | 3 Feb 2022 19:53 | |
887 | compcert-3.10 | 18 Jan 2022 05:45 | |
738 | compcert-3.10 | 9 Jan 2022 11:11 | |
726 | compcert-3.10 | 7 Jan 2022 19:23 |