nixbot

builds

succeeded checks.x86_64-linux.pkgs-hol-guard build #10861 · raw · eval 0 ms · 67.5 KiB allocated · ·

Succeeded (3)

3 built
setup built · 0.1s · open ↗ · raw ↗
hol-guard-3.38.0 built · 23.9s · open ↗ · raw ↗
check-hol-guard built · 1.6s · open ↗ · raw ↗