Build details
Build ID | 563 |
---|---|
Evaluation | 143217 (nonguix) |
Status | Failed |
System | x86_64-linux |
Name | compcert-3.9 |
Duration | 3 seconds |
Finished | 14 Dec 2021 00:54 |
Weather | Still failing The first failure was build #458. |
Log file | |
Derivation | /gnu/store/bxcmgrrqaiz7c86nxi0dypi5my3891ks-compcert-3.9.drv |
Dependencies | — |
Outputs | /gnu/store/56nnc8d9dlkj1s3j796624swz1ijjnc6-compcert-3.9 |
Worker | x2az9NsP |
Build history
ID | Name | Completion time | |
---|---|---|---|
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 |