nixbot

builds

failed `aarch64-linux.pkgs-lean-ctx` build #1397 · raw · ‹ #1396 · #1398 ›

Failures (1)

lean-ctx-3.9.12 failed · open ↗ · raw ↗

Succeeded (1)

1 built

setup built · 4691.6s · open ↗ · raw ↗