nixbot

builds
sign in

checks.aarch64-linux.acl2 build #5 · raw · eval 3.4 s · 1.2 GiB allocated ·

Failures (1)

acl2-8.5 failed · open ↗ · raw ↗

Succeeded (5)

5 built
setup built · 5477.0s · open ↗ · raw ↗
0001-Fix-some-paths-for-Nix-build.patch built

no output

builder.pl built

no output

python3-3.10.9-env built

no output

sbcl-2.3.0 built

no output