these 5 derivations will be built:
  /nix/store/pimrzlm2rrsgqfdwn26xy6cay21akgqv-source.drv
  /nix/store/mfp0mnjdf5d2dmlbcdljnzvwzj5xycm8-lean-ctx-3.10.3-vendor-staging.drv
  /nix/store/2mnxymadxvyvlw7w0ipzfmjyshfmxghf-lean-ctx-3.10.3-vendor.drv
  /nix/store/w7nh4dxpzwrsl25hnwmnva373l57ahhl-lean-ctx-3.10.3.drv
  /nix/store/1z6jqd8qp0yfq9nfssca91w76xk383l2-check-lean-ctx.drv
error: build of '/nix/store/w7nh4dxpzwrsl25hnwmnva373l57ahhl-lean-ctx-3.10.3.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/w7nh4dxpzwrsl25hnwmnva373l57ahhl-lean-ctx-3.10.3.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/m6l749fzhzjm3hfm6s0s2hqq3gw8kr65-lean-ctx-3.10.3
error: Cannot build '/nix/store/1z6jqd8qp0yfq9nfssca91w76xk383l2-check-lean-ctx.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/0k1mnlcm01kgnhdnhpcway1c8izc6v0y-check-lean-ctx