these 2 derivations will be built:
  /nix/store/74qqbg1108mi5lbhb6sy6izplrzshk2h-lean-ctx-3.10.0-vendor.drv
  /nix/store/bgd7n3ydp1ph5i05ff5api5wf073v55g-lean-ctx-3.10.0.drv
error: timed out after 1200 seconds