nixbot

builds
sign in

checks.x86_64-linux.acl2 build #2 · raw · eval 10.2 s · 1.8 GiB allocated · ·

Failures (1)

acl2-8.5 failed · open ↗ · raw ↗

Succeeded (1)

1 built
setup built · 1805.5s · open ↗ · raw ↗