nixbot

builds
sign in

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

1these 2 derivations will be built:2 /nix/store/74qqbg1108mi5lbhb6sy6izplrzshk2h-lean-ctx-3.10.0-vendor.drv3 /nix/store/bgd7n3ydp1ph5i05ff5api5wf073v55g-lean-ctx-3.10.0.drv4error: timed out after 1200 seconds