setup
checks.x86_64-linux.pkgs-lean-ctx
· build #10818
· raw
1these 2 derivations will be built:2 /nix/store/ijpb30rrly2m5bx44xqk4rfsgwn9q766-lean-ctx-3.12.3.drv3 /nix/store/8j4xm7q457gxbsh5mnhmqh62ix7ad32v-check-lean-ctx.drv4warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user5error: dependency 'ijpb30rrly2m5bx44xqk4rfsgwn9q766-lean-ctx-3.12.3.drv' failed