Build details
| Build ID | 1829 |
|---|---|
| Evaluation | 544004 (nonguix) |
| Status | Succeeded |
| System | x86_64-linux |
| Name | compcert-3.10 |
| Duration | 272 seconds |
| Finished | 3 Jun 2022 23:13 |
| Weather | Still succeeding |
| Log file | |
| Derivation | /gnu/store/bvgrxlzvmbsh0427i5wbh9gr3fl9vzaj-compcert-3.10.drv |
| Dependencies | — |
| Outputs | /gnu/store/39yvyplc6v6dgjqapqcfvbhc99sb3kla-compcert-3.10 |
| Worker | b0hzi55v |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 1828 | compcert-3.10 | 2 Jun 2022 07:46 | |
| 1773 | compcert-3.10 | 26 May 2022 10:32 | |
| 1671 | compcert-3.10 | 1 May 2022 19:34 | |
| 1443 | compcert-3.10 | 14 Mar 2022 23:44 | |
| 1437 | compcert-3.10 | 13 Mar 2022 22:53 | |
| 1416 | compcert-3.10 | — | |
| 1358 | compcert-3.10 | 2 Mar 2022 00:22 | |
| 1263 | compcert-3.10 | 11 Feb 2022 10:44 | |
| 1168 | compcert-3.10 | 6 Feb 2022 21:53 | |
| 1158 | compcert-3.10 | 4 Feb 2022 17:58 |