Build 7332131 of job IntersectMBO-ouroboros-consensus:pullrequest-1413:x86_64-linux.native.agda-spec.shell
 |
|
Changes
| Input | Changes |
|---|
Previous builds
| Last successful build | This build |
|---|---|
| build 6982880 | build 7332131 |
| Queued at: | |
|---|---|
| Nix name: | nix-shell |
| Short description: | not given |
| License: | not given |
| Homepage: | not given |
| Maintainer(s): | not given |
| System: | x86_64-linux |
| Derivation store path: | /nix/store/7rqprlaijyf69xw1iqhjcxbyh9rkgap8-nix-shell.drv |
| Output store paths: | /nix/store/yj9i1yg0b0mzxra64cq1apxnw8v9p8jl-nix-shell |
| Closure size: | 4438.62 MiB (history) |
| Output size: | 0.01 MiB (history) |
| Name | Type | Value | Revision | Store path |
|---|
| Nr | What | Duration | Machine | Status |
|---|