these 5 derivations will be built:
  /nix/store/drr198571qqyq4hgk31n74w9zsb3c9gj-source.drv
  /nix/store/59b9s4vy7c76w4vjrfzpfn40rfnbl7v8-lean-ctx-3.12.0-vendor-staging.drv
  /nix/store/2gjri6h3wljjk3bcg9q6f61xyn1af73m-lean-ctx-3.12.0-vendor.drv
  /nix/store/qirncymba0fixxryi6xr1b3wy1mmiirh-lean-ctx-3.12.0.drv
  /nix/store/cd4xx7svir1kysm3imwghhr2j2pplm6q-check-lean-ctx.drv