these 3 derivations will be built:
  /nix/store/6n87lvzjx842jb6d2yr1fpknwwjfbij6-lean-ctx-3.11.4-vendor.drv
  /nix/store/3xk04n2firq8v5cvn6908vvqm63c0www-lean-ctx-3.11.4.drv
  /nix/store/0n0lb6ri0m6x5l19aimxvr0ggl63592g-check-lean-ctx.drv

upload niks3: ok