setup
checks.x86_64-linux.pkgs-lean-ctx
· build #10775
· raw
1these 3 derivations will be built:2 /nix/store/gc70jyqqnrfmh1q67kwqxnqv4yrdlxbk-lean-ctx-3.12.3-vendor.drv3 /nix/store/qp8l0jcxy4jrdc2ksyf9r6f0l1cq1v1g-lean-ctx-3.12.3.drv4 /nix/store/9gzz8kdpkqvs9v2r2qgq2q23fkmlpz9p-check-lean-ctx.drv5warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user6error: dependency 'qp8l0jcxy4jrdc2ksyf9r6f0l1cq1v1g-lean-ctx-3.12.3.drv' failed