setup
checks.aarch64-linux.pkgs-lean-ctx
· build #6224
· raw
1these 3 derivations will be built:2 /nix/store/kwlddff4y7w7v1r7rv8nj2wjvnb2pd71-lean-ctx-3.10.2-vendor.drv3 /nix/store/ffj0wgcxjm7c5biihd8zn8hvski5fjsj-lean-ctx-3.10.2.drv4 /nix/store/s0pf5aznyidba38pjvmvyqrvgy6jnnyl-check-lean-ctx.drv5error: build of '/nix/store/ffj0wgcxjm7c5biihd8zn8hvski5fjsj-lean-ctx-3.10.2.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=22&system=aarch64-linux' failed: timed out after 1200 seconds6error: Cannot build '/nix/store/ffj0wgcxjm7c5biihd8zn8hvski5fjsj-lean-ctx-3.10.2.drv'.7 Reason: builder failed with exit code 1.8 Output paths:9 /nix/store/7yabapn9p2x0cf8z5rm1zm8w2794dkfl-lean-ctx-3.10.210error: Cannot build '/nix/store/s0pf5aznyidba38pjvmvyqrvgy6jnnyl-check-lean-ctx.drv'.11 Reason: 1 dependency failed.12 Output paths:13 /nix/store/jpv1xzwnf9zyrdml9n7hsj914dxzhyfg-check-lean-ctx