setup
checks.x86_64-linux.pkgs-lean-ctx
· build #10437
· raw
1these 3 derivations will be built:2 /nix/store/rshrs340jxdxm95y18fpi25zg3agfslr-aws-lc-prefix.drv3 /nix/store/h4rvbjsirbclrkgzpqc2aj4wahi6sqvx-lean-ctx-3.12.2.drv4 /nix/store/s1rhn6zmbfxw7flhnn5giimmmqa1phwg-check-lean-ctx.drv5warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user