this derivation will be built: /nix/store/sg04smqad3vmplpsabhki6zsz48pw122-check-lean-ctx.drv building '/nix/store/sg04smqad3vmplpsabhki6zsz48pw122-check-lean-ctx.drv' on 'ssh-ng://customer@mac02.m.ntd.one' building '/nix/store/sg04smqad3vmplpsabhki6zsz48pw122-check-lean-ctx.drv' upload niks3: ok