Build details
| Build ID | 187499 |
|---|---|
| Evaluation | 20644 |
| Status | Failed |
| System | aarch64-linux |
| Name | dune-localfunctions-openmpi-2.7.0 |
| Duration | 6300 seconds |
| Finished | 15 Jan 00:46 +0100 |
| Log file | raw |
| Derivation | /gnu/store/ai69rl0ybbgyhxji4bw5l6bnhryj2gp7-dune-localfunctions-openmpi-2.7.0.drv |
| Outputs | /gnu/store/swpnag6k8nxkdfxhkxja65rxbsj2gxzk-dune-localfunctions-openmpi-2.7.0 |