these 3 derivations will be built:
  /nix/store/cp1mncpkwwvgskqs2pfkrpcg4m1rg3np-lean-ctx-3.11.2-vendor.drv
  /nix/store/kpvafw9mbbpf252kjbzn3yb4psp62xbh-lean-ctx-3.11.2.drv
  /nix/store/hd98nw0h75zqr4b730sbjcd0yxhnzyc3-check-lean-ctx.drv
error: timed out after 1200 seconds
error: Cannot build '/nix/store/hd98nw0h75zqr4b730sbjcd0yxhnzyc3-check-lean-ctx.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/0mk1zwnpwaxm3nzmdcffr1zprfk56my3-check-lean-ctx