these 5 derivations will be built:
  /nix/store/hm9v5q13xyj577ycz008hrfxaknpphfa-source.drv
  /nix/store/nrwlwcd8fc6y8f15jn51cv1g1mxhbfci-lean-ctx-3.10.3-vendor-staging.drv
  /nix/store/v3x1x83px6wbwhx4knqdijdxp9zwvn2m-lean-ctx-3.10.3-vendor.drv
  /nix/store/37dhxrny61bkf3s8an951rki9r2wgp2i-lean-ctx-3.10.3.drv
  /nix/store/xaq43m56761nj73jz0i09pj1znsjkihh-check-lean-ctx.drv
error: timed out after 1200 seconds
error: Cannot build '/nix/store/xaq43m56761nj73jz0i09pj1znsjkihh-check-lean-ctx.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/x8f21kghap44lr48yl3wr98sk9swi684-check-lean-ctx