Build details
Build ID | 1158 |
---|---|
Evaluation | 284371 (nonguix) |
Status | Failed |
System | x86_64-linux |
Name | compcert-3.10 |
Duration | 11 seconds |
Finished | 4 Feb 2022 17:58 |
Weather | Still failing The first failure was build #624. |
Log file | |
Derivation | /gnu/store/n6x0gd4sad8wv46xwn8nmiz7sjbymbas-compcert-3.10.drv |
Dependencies | — |
Outputs | /gnu/store/rdfabh9jl1fz5k3w4mjcx8fh8p7a9xyz-compcert-3.10 |
Worker | mmRLnAYb |
Build history
ID | Name | Completion time | |
---|---|---|---|
1144 | compcert-3.10 | 3 Feb 2022 19:47 | |
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 |