nixbot

builds

succeeded `checks.aarch64-darwin.pkgs-lean-ctx` build #4431 · raw · ‹ #4430 · #4432 ›

Succeeded (3)

3 built

setup built · 0.0s · open ↗ · raw ↗

lean-ctx-3.10.0-vendor built · 282.6s · open ↗ · raw ↗

lean-ctx-3.10.0 built · 892.7s · open ↗ · raw ↗