Build details
| Build ID | 1144 |
|---|---|
| Evaluation | 281883 (nonguix) |
| Status | Failed |
| System | x86_64-linux |
| Name | compcert-3.10 |
| Duration | 207 seconds |
| Finished | 3 Feb 2022 19:47 |
| Weather | Still failing The first failure was build #624. |
| Log file | |
| Derivation | /gnu/store/iwkzr6dpggl5xsw3p3dgw95mi1k7ammd-compcert-3.10.drv |
| Dependencies | — |
| Outputs | /gnu/store/gssq3w37vzs8h1mbp3k4iizz0pdampha-compcert-3.10 |
| Worker | JMtapMt6 |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 945 | compcert-3.10 | 18 Jan 2022 04:43 | |
| 739 | compcert-3.10 | 9 Jan 2022 11:03 | |
| 624 | compcert-3.10 | 22 Dec 2021 00:52 | |
| 623 | compcert-3.10 | 22 Dec 2021 00:18 | |
| 592 | compcert-3.10 | 17 Dec 2021 17:25 | |
| 563 | compcert-3.9 | 14 Dec 2021 00:54 | |
| 458 | compcert-3.9 | 30 Nov 2021 04:19 | |
| 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 |