setup
checks.x86_64-linux.pkgs-lean-ctx
· build #10435
· raw
1don't know how to build these paths:2 /nix/store/wlgn1bbm77sq9h8dhjfcsj1zn2km95bh-check-lean-ctx.drv3warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user4error: dependency '8yabv1b51kwqhfpq95s7xyjmkda1bcdc-lean-ctx-3.12.2.drv' failed