these 2 derivations will be built:
  /nix/store/0q7lzd8nlw34d52zsbcppa7al53d7n2w-lean-ctx-3.11.4.drv
  /nix/store/dyy42a9hydsz3jsww9hkqxjyjmddffpa-check-lean-ctx.drv

upload niks3: ok