Build details
| Build ID | 458 | ||
|---|---|---|---|
| Evaluation | 105929 (nonguix) | ||
| Status | Failed | ||
| System | x86_64-linux | ||
| Name | compcert-3.9 | ||
| Duration | 1233 seconds | ||
| Finished | 30 Nov 2021 04:19 | ||
| Weather | New failure Channel changes compared to the previous (successful) build:
| ||
| Log file | |||
| Derivation | /gnu/store/n4ywrwq3hss422hkzsm8mqinww4x6qh3-compcert-3.9.drv | ||
| Dependencies | — | ||
| Outputs | /gnu/store/hg9m55pk1xzdq3zrp5i97n21h55c48nh-compcert-3.9 | ||
| Worker | HdIhmBzu |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 316 | compcert-3.9 | 20 Nov 2021 04:16 | |
| 315 | compcert-3.9 | 20 Nov 2021 01:02 | |
| 282 | compcert-3.9 | 19 Nov 2021 08:41 | |
| 100 | compcert-3.9 | 27 Oct 2021 01:31 | |
| 56 | compcert-3.8 | 25 Oct 2021 15:34 |