nixbot

builds

succeeded `aarch64-linux.pkgs-lean-ctx` build #2011 · raw · ‹ #2010 · #2012 ›

Succeeded (3)

3 built

setup built · 0.0s · open ↗ · raw ↗

lean-ctx-3.9.14-vendor built · 91.4s · open ↗ · raw ↗

lean-ctx-3.9.14 built · 1838.0s · open ↗ · raw ↗