nixbot

builds
sign in

checks.x86_64-linux.acl2 build #5 · raw · eval 5.7 s · 1.6 GiB allocated ·

Failures (1)

acl2-8.5 failed · open ↗ · raw ↗

Succeeded (1)

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