setup
checks.aarch64-linux.pkgs-lean-ctx
· build #5741
· raw
1these 5 derivations will be built:2 /nix/store/j8ajgl999r4q5drma25y45n2hlf9nzkj-source.drv3 /nix/store/7cndfmnx02jyywyll6b9fk5r5h0mnspq-lean-ctx-3.10.4-vendor-staging.drv4 /nix/store/fi1ramfba12sgjgfk37allk0gkx3g3lr-lean-ctx-3.10.4-vendor.drv5 /nix/store/lhw31vvknv0l43sks82l1fmkgs68ixfz-lean-ctx-3.10.4.drv6 /nix/store/mkwnkfsh5nfrmjdcc3y4ynmb1qygq71q-check-lean-ctx.drv7error: build of '/nix/store/lhw31vvknv0l43sks82l1fmkgs68ixfz-lean-ctx-3.10.4.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=21&system=aarch64-linux' failed: timed out after 1200 seconds8error: Cannot build '/nix/store/lhw31vvknv0l43sks82l1fmkgs68ixfz-lean-ctx-3.10.4.drv'.9 Reason: builder failed with exit code 1.10 Output paths:11 /nix/store/c3p99s0hrjxd5fz2q9qyabrs2j320xmd-lean-ctx-3.10.412error: Cannot build '/nix/store/mkwnkfsh5nfrmjdcc3y4ynmb1qygq71q-check-lean-ctx.drv'.13 Reason: 1 dependency failed.14 Output paths:15 /nix/store/s9i66aiqrmbj34nmfwpps35gwd4qrdb8-check-lean-ctx