checks.aarch64-darwin.pkgs-lean-ctx log

succeeded `checks.aarch64-darwin.pkgs-lean-ctx` build #6909 · raw · eval 91 ms · 69.0 KiB allocated · ‹ #6908 · #6910 ›

6 built

setup built · 480.6s · open ↗ · raw ↗

source built · 7.0s · open ↗ · raw ↗

lean-ctx-3.11.0-vendor-staging built · 9.3s · open ↗ · raw ↗

lean-ctx-3.11.0-vendor built · 70.3s · open ↗ · raw ↗

lean-ctx-3.11.0 built · 257.4s · open ↗ · raw ↗

check-lean-ctx built · 1.5s · open ↗ · raw ↗