this derivation will be built:
  /nix/store/sq6w0dynpxczq8y3dp4bv20a2v78648q-check-lean-ctx.drv
building '/nix/store/sq6w0dynpxczq8y3dp4bv20a2v78648q-check-lean-ctx.drv'

upload niks3: ok