nixbot

builds
sign in

setup checks.aarch64-linux.pkgs-lean-ctx · build #10437 · raw

1these 3 derivations will be built:2 /nix/store/izdhnpbvpm6x3qv03lc8lps2lgfj7kl8-aws-lc-prefix.drv3 /nix/store/517ii8nm5xq1il6hi578rw7pqyyh6yvl-lean-ctx-3.12.2.drv4 /nix/store/67hp6jrrfsr2n6pvhhfi83p17v3rir2p-check-lean-ctx.drv