nixbot

builds
sign in

setup x86_64-linux.pkgs-lean-ctx · build #1332 · raw

1these 2 derivations will be built:2 /nix/store/g3ggd56x2sydczpdlva92xc2fgcnxdn6-lean-ctx-3.9.12-vendor.drv3 /nix/store/7xpd7d2n0vvkjl3sb2hbwqbl4gvaixk0-lean-ctx-3.9.12.drv4error: timed out after 1200 seconds