setup
checks.aarch64-linux.acl2
· build #2
· raw
1this derivation will be built:2 /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv3error: build of '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=23&system=aarch64-linux' failed: Cannot build '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv'.4 Reason: builder failed with exit code 2.5 Output paths:6 /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.57 Last 25 log lines:8 > | Exit code from ACL2 is 09 > | tests.cert seems to be missing10 >11 > **CERTIFICATION FAILED** for /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/lexer/tests.lisp12 >13 > make: *** [/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/build/make_cert:116: centaur/vl/loader/lexer/tests.cert] Error 114 > make: *** Waiting for unfinished jobs....15 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/delays.cert (98.845s) at 10-Oct-2026 23:05:06.53416 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/logicassign.cert (92.539s) at 10-Oct-2026 23:05:26.72717 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-namespace.cert (99.709s) at 10-Oct-2026 23:05:28.62718 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/inject-comments.cert (114.884s) at 10-Oct-2026 23:05:35.83919 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/annotate/bind.cert (289.876s) at 10-Oct-2026 23:05:44.29520 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/paramdecls.cert (131.248s) at 10-Oct-2026 23:05:50.00921 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/lintstub.cert (106.105s) at 10-Oct-2026 23:05:50.07822 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/writer.cert (347.557s) at 10-Oct-2026 23:06:28.95523 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/tests/base.cert (89.868s) at 10-Oct-2026 23:06:34.09224 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/unparam/expr-classes.cert (352.735s) at 10-Oct-2026 23:06:35.75025 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/evaluation-lemmas.cert (1005.764s) at 10-Oct-2026 23:06:42.30726 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert on 10-Oct-2026 23:06:42.46327 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-globalparams.cert (162.153s) at 10-Oct-2026 23:06:46.04728 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert (4.949s) at 10-Oct-2026 23:06:47.43229 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2'30 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/ctxexprs.cert (283.637s) at 10-Oct-2026 23:06:48.45631 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/dpss/Collins/level-1-initial-synchronization.cert (704.240s) at 10-Oct-2026 23:07:33.55132 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/legacy-defrstobj/basic-tests.cert (739.692s) at 10-Oct-2026 23:08:11.02733 For full logs, run:34 nix log /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv35error: Cannot build '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv'.36 Reason: builder failed with exit code 1.37 Output paths:38 /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5