Build 7332129 of job IntersectMBO-ouroboros-consensus:pullrequest-1413:x86_64-linux.native.agda-spec.docs
 |
|
Build products
| Type | Link | Actions | |
|---|---|---|---|
|
Nix package | docs-0.1 |
Changes
| Input | Changes |
|---|
Previous builds
| Last successful build | This build |
|---|---|
| build 6982977 | build 7332129 |
| Queued at: | |
|---|---|
| Nix name: | docs-0.1 |
| Short description: | not given |
| License: | not given |
| Homepage: | not given |
| Maintainer(s): | not given |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/s1075jibhd18j7wzl5r7xrb21l4z2r7g-docs-0.1.drv |
| Output store paths: | /nix/store/am212dyczr9aqwayg0ppksbqx4fi36ah-docs-0.1 |
| Closure size: | 0.16 MiB (history) |
| Output size: | 0.16 MiB (history) |
| Availability: | Build output is available, but may be garbage-collected |
| Name | Type | Value | Revision | Store path |
|---|
| Nr | What | Duration | Machine | Status |
|---|