Build details
| Build ID | 1942 | ||
|---|---|---|---|
| Evaluation | 564451 (nonguix) | ||
| Status | Failed | ||
| System | x86_64-linux | ||
| Name | compcert-3.10 | ||
| Duration | 141 seconds | ||
| Finished | 18 Jun 2022 13:25 | ||
| Weather | New failure Channel changes compared to the previous (successful) build:
| ||
| Log file | |||
| Derivation | /gnu/store/cbv0i8vfv1dpan2i0bmdz8yqzm4i68iv-compcert-3.10.drv | ||
| Dependencies | — | ||
| Outputs | /gnu/store/38qlq3i57lvmfwxw1hn1mwm10dbbdrch-compcert-3.10 | ||
| Worker | xspTnhnc |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 1913 | compcert-3.10 | 13 Jun 2022 09:50 | |
| 1829 | compcert-3.10 | 3 Jun 2022 23:13 | |
| 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 |