these 3 derivations will be built:
  /nix/store/7xwy2x1s1x5r5c2bb4qn6ap48a8951qy-lean-ctx-3.11.0-vendor.drv
  /nix/store/x5vsivhkm82lkin262p50nv63qg0kh2l-lean-ctx-3.11.0.drv
  /nix/store/krk8yk1axx2qssczyqdl4ihcp5ka201v-check-lean-ctx.drv
building '/nix/store/7xwy2x1s1x5r5c2bb4qn6ap48a8951qy-lean-ctx-3.11.0-vendor.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=21&system=aarch64-darwin'