nixbot

builds
sign in

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

1these 3 derivations will be built:2 /nix/store/k6fyvm3zawngwcbz4aqfm0q14dc47x1g-aws-lc-prefix.drv3 /nix/store/is4k62skzsgkn5fg73mncpy8j230cszp-lean-ctx-3.12.2.drv4 /nix/store/4ax675d4id1vp0hv6y7a889bk4xm03ji-check-lean-ctx.drv