setup
checks.x86_64-linux.pkgs-lean-ctx
· build #6224
· raw
1these 3 derivations will be built:2 /nix/store/aflif20jwn14pgq41w056xwl6gcar759-lean-ctx-3.10.2-vendor.drv3 /nix/store/2sq41fgad007v8ivryh7ybpiavh9gfys-lean-ctx-3.10.2.drv4 /nix/store/lq0gyw9j3h7vd9prxddf3r4jhcp18v2x-check-lean-ctx.drv5error: timed out after 1200 seconds6error: Cannot build '/nix/store/lq0gyw9j3h7vd9prxddf3r4jhcp18v2x-check-lean-ctx.drv'.7 Reason: 1 dependency failed.8 Output paths:9 /nix/store/33qvqrkfjkcs1d3crll21y4wj4v6rffm-check-lean-ctx