these 3 derivations will be built:
  /nix/store/rshrs340jxdxm95y18fpi25zg3agfslr-aws-lc-prefix.drv
  /nix/store/h4rvbjsirbclrkgzpqc2aj4wahi6sqvx-lean-ctx-3.12.2.drv
  /nix/store/s1rhn6zmbfxw7flhnn5giimmmqa1phwg-check-lean-ctx.drv
warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user