Build details
Build ID | 887 |
---|---|
Evaluation | 236663 (nonguix) |
Status | Failed |
System | i686-linux |
Name | compcert-3.10 |
Duration | 614 seconds |
Finished | 18 Jan 2022 05:45 |
Weather | Still failing |
Log file | |
Derivation | /gnu/store/iq6wvskl5ij3fnc9x81f56ch542pg9ds-compcert-3.10.drv |
Dependencies | — |
Outputs | /gnu/store/jql675f5qdyd97gp51dnggiwwnhipm04-compcert-3.10 |
Worker | wlu9L8RK |
Build history
ID | Name | Completion time | |
---|---|---|---|
738 | compcert-3.10 | 9 Jan 2022 11:11 | |
726 | compcert-3.10 | 7 Jan 2022 19:23 |