setup
checks.x86_64-linux.pkgs-lean-ctx
· build #8591
· raw
1these 2 paths will be fetched (0.0 KiB download, 163.6 MiB unpacked):2 /nix/store/aqp1ql061qvf1cjyihic7a22ai78xbx3-check-lean-ctx3 /nix/store/r90bbq9d33bpb7haqq9f4z2dkkvgksww-lean-ctx-3.11.44warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user