setup
checks.x86_64-linux.pkgs-lean-ctx
· build #7275
· raw
1these 3 derivations will be built:2 /nix/store/cp1mncpkwwvgskqs2pfkrpcg4m1rg3np-lean-ctx-3.11.2-vendor.drv3 /nix/store/kpvafw9mbbpf252kjbzn3yb4psp62xbh-lean-ctx-3.11.2.drv4 /nix/store/hd98nw0h75zqr4b730sbjcd0yxhnzyc3-check-lean-ctx.drv5error: timed out after 1200 seconds6error: Cannot build '/nix/store/hd98nw0h75zqr4b730sbjcd0yxhnzyc3-check-lean-ctx.drv'.7 Reason: 1 dependency failed.8 Output paths:9 /nix/store/0mk1zwnpwaxm3nzmdcffr1zprfk56my3-check-lean-ctx