nixbot

builds

succeeded `checks.aarch64-darwin.pkgs-hol-guard` build #10861 · raw · eval 238 ms · 31.0 MiB allocated · ‹ #10860 · #10862 ›

Succeeded (3)

3 built

setup built · 0.0s · open ↗ · raw ↗

hol-guard-3.38.0 built · 37.5s · open ↗ · raw ↗

check-hol-guard built · 1.8s · open ↗ · raw ↗