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

succeeded `checks.aarch64-linux.pkgs-lean-ctx` build #9473 · raw · eval 0 ms · 50.2 KiB allocated · ‹ #9472 · #9474 ›

6 built

setup built · 0.0s · open ↗ · raw ↗

source built · 12.6s · open ↗ · raw ↗

lean-ctx-3.12.0-vendor-staging built · 19.8s · open ↗ · raw ↗

lean-ctx-3.12.0-vendor built · 70.8s · open ↗ · raw ↗

lean-ctx-3.12.0 built · 1348.8s · open ↗ · raw ↗

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