these 2 derivations will be built:
  /nix/store/g3ggd56x2sydczpdlva92xc2fgcnxdn6-lean-ctx-3.9.12-vendor.drv
  /nix/store/7xpd7d2n0vvkjl3sb2hbwqbl4gvaixk0-lean-ctx-3.9.12.drv
error: timed out after 1200 seconds