nixbot

builds

succeeded `checks.aarch64-darwin.pkgs-hol-guard` build #10818 · raw · eval 87 ms · 13.0 MiB allocated · ‹ #10817 · #10819 ›

Succeeded (3)

3 built

setup built · 0.0s · open ↗ · raw ↗

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

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