nixbot

builds

failed `aarch64-linux.pkgs-lean-ctx` build #1940 · raw · ‹ #1939 · #1941 ›

Failures (1)

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

Succeeded (1)

1 built

setup built · 2621.8s · open ↗ · raw ↗