setup
checks.x86_64-linux.pkgs-lean-ctx
· build #5657
· raw
1these 5 derivations will be built:2 /nix/store/hm9v5q13xyj577ycz008hrfxaknpphfa-source.drv3 /nix/store/nrwlwcd8fc6y8f15jn51cv1g1mxhbfci-lean-ctx-3.10.3-vendor-staging.drv4 /nix/store/v3x1x83px6wbwhx4knqdijdxp9zwvn2m-lean-ctx-3.10.3-vendor.drv5 /nix/store/37dhxrny61bkf3s8an951rki9r2wgp2i-lean-ctx-3.10.3.drv6 /nix/store/xaq43m56761nj73jz0i09pj1znsjkihh-check-lean-ctx.drv7error: timed out after 1200 seconds8error: Cannot build '/nix/store/xaq43m56761nj73jz0i09pj1znsjkihh-check-lean-ctx.drv'.9 Reason: 1 dependency failed.10 Output paths:11 /nix/store/x8f21kghap44lr48yl3wr98sk9swi684-check-lean-ctx