these 2 derivations will be built:
  /nix/store/9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv
  /nix/store/vzhv7l6h7w8nxa9jy0lypk2mdvgikjdw-check-lean-ctx.drv
building '/nix/store/9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv' on 'grpc://farm.numtide.com:50051?connect-timeout=22&restart-grace=900&system=aarch64-darwin&token-file=/run/nix-farm-client/farm-token'
building '/nix/store/9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv' on farm.numtide.com:50051
lean-ctx-3.12.4> mac02: building 9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv
building '/nix/store/vzhv7l6h7w8nxa9jy0lypk2mdvgikjdw-check-lean-ctx.drv' on 'grpc://farm.numtide.com:50051?connect-timeout=22&restart-grace=900&system=aarch64-darwin&token-file=/run/nix-farm-client/farm-token'
building '/nix/store/vzhv7l6h7w8nxa9jy0lypk2mdvgikjdw-check-lean-ctx.drv' on farm.numtide.com:50051
check-lean-ctx> mac02: building vzhv7l6h7w8nxa9jy0lypk2mdvgikjdw-check-lean-ctx.drv