these 5 derivations will be built:
  /nix/store/ymqm6wbwshsvzys55smrc2q0wj54gw5m-source.drv
  /nix/store/nasgymxnxscwjx83wbcc1xnpl5ry7ipb-lean-ctx-3.10.5-vendor-staging.drv
  /nix/store/2b62vwjs0f5yqgwbf1vfq2ragljshlq1-lean-ctx-3.10.5-vendor.drv
  /nix/store/rz9v57dfdix5zn2zv32b78ar9yiw3xyx-lean-ctx-3.10.5.drv
  /nix/store/355dvczaca3kzhqz93z8b4mvw58y3rap-check-lean-ctx.drv
error: build of '/nix/store/rz9v57dfdix5zn2zv32b78ar9yiw3xyx-lean-ctx-3.10.5.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=20&system=aarch64-linux' failed: timed out after 1200 seconds
error: Cannot build '/nix/store/rz9v57dfdix5zn2zv32b78ar9yiw3xyx-lean-ctx-3.10.5.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/knjsxnmrh03awpzc5l7y8lvk2xdbi4cn-lean-ctx-3.10.5
error: Cannot build '/nix/store/355dvczaca3kzhqz93z8b4mvw58y3rap-check-lean-ctx.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/y8jc5qyfypx4pkww5hin6w7wlgj2cxp6-check-lean-ctx