Build details
Build ID | 624 | ||
---|---|---|---|
Evaluation | 164192 (nonguix) | ||
Status | Failed | ||
System | x86_64-linux | ||
Name | compcert-3.10 | ||
Duration | 146 seconds | ||
Finished | 22 Dec 2021 00:52 | ||
Weather | New failure Channel changes compared to the previous (successful) build:
| ||
Log file | |||
Derivation | /gnu/store/mbslybnzwrjd080q7z7fy5mpkbqaw4if-compcert-3.10.drv | ||
Dependencies | — | ||
Outputs | /gnu/store/95q7s4mqdglh9gw87d3l6i7s6wb823vb-compcert-3.10 | ||
Worker | AAZW8Onq |
Build history
ID | Name | Completion time | |
---|---|---|---|
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 | |
100 | compcert-3.9 | 27 Oct 2021 01:31 | |
56 | compcert-3.8 | 25 Oct 2021 15:34 |