setup
checks.aarch64-linux.pkgs-lean-ctx
· build #6909
· raw
1these 5 derivations will be built:2 /nix/store/2whrzqlkmfs5irlf2l54cs4pyhc4pqdv-source.drv3 /nix/store/92bl2zdc51mywcdrvlmsxascsnhzvbir-lean-ctx-3.11.0-vendor-staging.drv4 /nix/store/p7d2nhwdamzgk4jwwb37a1arn7j6q210-lean-ctx-3.11.0-vendor.drv5 /nix/store/mxsaqcgnrwpbyhhy4l9hkvgxl3fi0y90-lean-ctx-3.11.0.drv6 /nix/store/bqjgb1lf4pf02wa7pznvcadhx78a9r7z-check-lean-ctx.drv