these 2 derivations will be built:
  /nix/store/kpvafw9mbbpf252kjbzn3yb4psp62xbh-lean-ctx-3.11.2.drv
  /nix/store/hd98nw0h75zqr4b730sbjcd0yxhnzyc3-check-lean-ctx.drv

upload niks3: ok