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

succeeded `checks.aarch64-darwin.pkgs-lean-ctx` build #10679 · raw · eval 0 ms · 61.8 KiB allocated · ‹ #10678 · #10680 ›

6 built

setup built · 0.0s · open ↗ · raw ↗

source built · 7.2s · open ↗ · raw ↗

lean-ctx-3.12.3-vendor-staging built · 8.6s · open ↗ · raw ↗

lean-ctx-3.12.3-vendor built · 19.5s · open ↗ · raw ↗

lean-ctx-3.12.3 built · 211.5s · open ↗ · raw ↗

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