Build details
| Build ID | 37 |
|---|---|
| Evaluation | 4000 (goryachev) |
| Status | Succeeded |
| System | x86_64-linux |
| Name | river-0.5.0-dev |
| Duration | 18 seconds |
| Finished | 16 Mar 12:17 +0200 |
| Weather | Still succeeding |
| Log file | |
| Derivation | /gnu/store/xcp9g69r29pkxjcjwakyx3wf9shl49q4-river-0.5.0-dev.drv |
| Dependencies | |
| Outputs | /gnu/store/r8qxlw0fx3x5vyw5f56hbkxl5nzmn4xg-river-0.5.0-dev |
| Worker | Axp1u5z6 |
Previous builds
| ID | Name | Completion time | |
|---|---|---|---|
| 32 | river-0.5.0-dev | 15 Mar 17:46 +0200 | |
| 22 | river-0.3.999-0.56c1017 | 11 Mar 14:24 +0200 |