checks.aarch64-linux.acl2 log

failed `checks.aarch64-linux.acl2` build #1 · raw · eval 12.2 s · 1.6 GiB allocated · #2 ›

acl2-8.5 failed · open ↗ · raw ↗

5 built

setup built · 3432.8s · open ↗ · raw ↗

builder.pl built · 2.8s · open ↗ · raw ↗

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

sbcl-2.3.0 built · 3.5s · open ↗ · raw ↗

python3-3.10.9-env built · 21.8s · open ↗ · raw ↗