nixbot

builds

succeeded `aarch64-darwin.pkgs-lean-ctx` build #2803 · raw · ‹ #2802 · #2804 ›

Succeeded (2)

2 built

setup built · 0.0s · open ↗ · raw ↗

lean-ctx-3.9.18 built · 3570.4s · open ↗ · raw ↗