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

succeeded `checks.x86_64-linux.pkgs-lean-ctx` build #11025 · raw · eval 1 ms · 156.0 KiB allocated · ‹ #11024 · #11026 ›

6 built

setup built · 123.6s · open ↗ · raw ↗

source built · 5.6s · open ↗ · raw ↗

lean-ctx-3.12.5-vendor-staging built · 10.6s · open ↗ · raw ↗

lean-ctx-3.12.5-vendor built · 17.4s · open ↗ · raw ↗

lean-ctx-3.12.5 built · 751.0s · open ↗ · raw ↗

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