nixbot

builds

failed checks.x86_64-linux.acl2 build #1 · raw · eval 11.4 s · 1.8 GiB allocated ·

Failures (1)

acl2-8.5 failed · open ↗ · raw ↗

Succeeded (5)

5 built
setup built · 8085.9s · open ↗ · raw ↗
builder.pl built

no output

0001-Fix-some-paths-for-Nix-build.patch built

no output

python3-3.10.9-env built · 6.4s · open ↗ · raw ↗
sbcl-2.3.0 built

no output