Timeline
- +2m 8sSucceeded
- +2m 33sStarted on tampines
- Submitted
- Derivation
- /gnu/store/i6qn4nbzrpqqaf8lciqxrfyhpn4kpy1p-agda-categories-0.2.0-checkout.drv
1 output
Output Size /gnu/store/nrphp40jyh2hcazcpwgqfck7grrmpifb-agda-categories-0.2.0-checkout 2.0 MiB Inputs pruned, so they're no longer known for this build
- Tags
- Priority
- 0set on this build