Build details
| Build ID | 316 |
|---|---|
| Evaluation | 78938 (nonguix) |
| Status | Succeeded |
| System | x86_64-linux |
| Name | compcert-3.9 |
| Duration | 300 seconds |
| Finished | 20 Nov 2021 04:16 |
| Weather | Still succeeding |
| Log file | |
| Derivation | /gnu/store/gvbdr03i0ibi56fzin5g64lyzifmxpcq-compcert-3.9.drv |
| Dependencies | — |
| Outputs | /gnu/store/8ci66idd6qy70p6ffyim2kzg4k1lvfb0-compcert-3.9 |
| Worker | qA4Vp47o |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 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 |