nixbot

builds
sign in

setup checks.x86_64-linux.pkgs-lean-ctx · build #10081 · raw

1don't know how to build these paths:2 /nix/store/v1vs0iqq0n6nfn0c2q8g8yqq249falv4-check-lean-ctx.drv3warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user