these 5 derivations will be built:
  /nix/store/2whrzqlkmfs5irlf2l54cs4pyhc4pqdv-source.drv
  /nix/store/92bl2zdc51mywcdrvlmsxascsnhzvbir-lean-ctx-3.11.0-vendor-staging.drv
  /nix/store/p7d2nhwdamzgk4jwwb37a1arn7j6q210-lean-ctx-3.11.0-vendor.drv
  /nix/store/mxsaqcgnrwpbyhhy4l9hkvgxl3fi0y90-lean-ctx-3.11.0.drv
  /nix/store/bqjgb1lf4pf02wa7pznvcadhx78a9r7z-check-lean-ctx.drv