Build details
| Build ID | 1436 |
|---|---|
| Evaluation | 383924 (nonguix) |
| Status | Failed |
| System | i686-linux |
| Name | compcert-3.10 |
| Duration | 572 seconds |
| Finished | 13 Mar 2022 22:59 |
| Weather | Still failing |
| Log file | |
| Derivation | /gnu/store/3d7v0j0rf4v8zd92csqrigf1rvxnvxqi-compcert-3.10.drv |
| Dependencies | — |
| Outputs | /gnu/store/f43kf6s97pyzlzq8ydb0cfs79isp29sy-compcert-3.10 |
| Worker | cYlHUIOP |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 1389 | compcert-3.10 | — | |
| 1357 | compcert-3.10 | 2 Mar 2022 00:28 | |
| 1264 | compcert-3.10 | 11 Feb 2022 10:51 | |
| 1167 | compcert-3.10 | 6 Feb 2022 21:59 | |
| 1157 | compcert-3.10 | 4 Feb 2022 18:07 | |
| 1143 | compcert-3.10 | 3 Feb 2022 19:53 | |
| 887 | compcert-3.10 | 18 Jan 2022 05:45 | |
| 738 | compcert-3.10 | 9 Jan 2022 11:11 | |
| 726 | compcert-3.10 | 7 Jan 2022 19:23 |