nixbot

builds

succeeded `checks.x86_64-linux.pkgs-hol-guard` build #10343 · raw · eval 6 ms · 381.4 KiB allocated · ‹ #10342 · #10344 ›

Succeeded (3)

3 built

setup built · 2.4s · open ↗ · raw ↗

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

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