nixbot

builds
sign in

checks.x86_64-linux.acl2 build #3 · raw · eval 6.5 s · 1.4 GiB allocated · ·

Failures (1)

acl2-8.5 failed · open ↗ · raw ↗

Succeeded (1)

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