these 5 derivations will be built:
  /nix/store/vhhj467zzahaqpb56pa7qkl5lq21rx7x-source.drv
  /nix/store/04vfiwfbqr517n75y757x8yxz3h6c968-lean-ctx-3.12.5-vendor-staging.drv
  /nix/store/lwzrjhb77h8d97ywpjpc7r9f2bs8x4i4-lean-ctx-3.12.5-vendor.drv
  /nix/store/7595y1si21i3bg6l0zy11rjxzkp2n7ym-lean-ctx-3.12.5.drv
  /nix/store/mr3sw3ga8y686blb3pm9yx5qfi0y3jci-check-lean-ctx.drv
scheduler at farm.numtide.com:50051: Stream removed (Socket closed), reconnecting
7595y1si21i3bg6l0zy11rjxzkp2n7ym-lean-ctx-3.12.5.drv: Stream removed (Socket closed), asking the scheduler again
scheduler at farm.numtide.com:50051: failed to connect to all addresses; last error: UNKNOWN: ipv4:127.0.0.2:50051: Failed to connect to remote host: Connection refused, reconnecting
scheduler at farm.numtide.com:50051: failed to connect to all addresses; last error: UNKNOWN: ipv4:127.0.0.2:50051: Failed to connect to remote host: Connection refused, reconnecting