Build details
Build ID | 1437 |
---|---|
Evaluation | 383924 (nonguix) |
Status | Failed |
System | x86_64-linux |
Name | compcert-3.10 |
Duration | 228 seconds |
Finished | 13 Mar 2022 22:53 |
Weather | Still failing The first failure was build #624. |
Log file | |
Derivation | /gnu/store/0565cc021jf2axgn21p0rgi4asca15z5-compcert-3.10.drv |
Dependencies | — |
Outputs | /gnu/store/5pchr52wryjpgwlgqy8sm2mpg7ydrn7f-compcert-3.10 |
Worker | zp6QIVbT |
Build history
ID | Name | Completion time | |
---|---|---|---|
1416 | compcert-3.10 | — | |
1358 | compcert-3.10 | 2 Mar 2022 00:22 | |
1263 | compcert-3.10 | 11 Feb 2022 10:44 | |
1168 | compcert-3.10 | 6 Feb 2022 21:53 | |
1158 | compcert-3.10 | 4 Feb 2022 17:58 | |
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 |