Build details
| Build ID | 726 |
|---|---|
| Evaluation | 209687 (nonguix) |
| Status | Failed |
| System | i686-linux |
| Name | compcert-3.10 |
| Duration | 25 seconds |
| Finished | 7 Jan 2022 19:23 |
| Log file | |
| Derivation | /gnu/store/mw76kn5xazhrw9s6l40jjcf6ndgk7d4r-compcert-3.10.drv |
| Dependencies | — |
| Outputs | /gnu/store/m3sxq693g0559qmgbm298fadnd423qnd-compcert-3.10 |
| Worker | OknaDnHB |