these 2 derivations will be built:
  /nix/store/0i8nlvnv38f9hnd49a74m3qjw0s3s75p-lean-ctx-3.11.0.drv
  /nix/store/l0malqvfqbalzrmar3lsjqjz80gjqm92-check-lean-ctx.drv
warning: 0i8nlvnv38f9hnd49a74m3qjw0s3s75p-lean-ctx-3.11.0.drv: no connected, non-draining worker for system 'aarch64-linux' offers features {}, the workers offer {}, waiting up to 120s for a worker