setup
checks.aarch64-linux.acl2
· build #1
· raw
1these 5 derivations will be built:2 /nix/store/c6mljancr1wmnc0vqgwwwi8ic86krix4-builder.pl.drv3 /nix/store/pwxy32xd0pp1a6g1jgjray0qzpg2mc0d-python3-3.10.9-env.drv4 /nix/store/vx1k0gd4m2ml2b04vqr5sbvzh3ns5jcf-0001-Fix-some-paths-for-Nix-build.patch.drv5 /nix/store/xiim87xzdvlhg2q5dbrddzw73vgy2dcp-sbcl-2.3.0.drv6 /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv7these 17 paths will be fetched (179.1 MiB download, 1019.3 MiB unpacked):8 /nix/store/blpk6xadis34k6nhba8426hb162l1lm6-abc-verifier-unstable-2022-11-099 /nix/store/jk3b1m9s8zq5prxlrzbvjzc9mpnyaasz-glucose-4.110 /nix/store/12lbfxx2859frgcxk57gc108n0yrxgyk-hook11 /nix/store/dy5fxjsf0iknxxj6zz9fqx4x34fz1d7y-hook12 /nix/store/x19ai18nawqx473qmfdpnzk0sr20450c-hook13 /nix/store/dvzl7bh764r4fqzax2m92vz83hm6z5a1-hostname-net-tools-2.1014 /nix/store/6gw95xsyh43xshpx2zpch841rcj4qb31-libipasirglucose4-201715 /nix/store/dvfb9jf7jfi5w921wlsiiay2wgwmrkww-minisat-2.2.116 /nix/store/fzwd9z9rcagfm8ab10bp57qzr8ixpmp8-net-tools-2.1017 /nix/store/n30mqhzla67h87x9g9358xq3wrh3w2fn-python3.10-setuptools-65.3.018 /nix/store/km5jjjhdasdksr703sab7gdpgm1111lq-sbcl-2.3.019 /nix/store/p84v26phjpcynf9bqlkvy4sifw7kfani-source20 /nix/store/2dwfj3xwxa0773kzy3016s1kvqdc7y7a-which-2.2121 /nix/store/iav4cjichbl1lmklvg4034rrs3lnkk9i-z3-4.8.1522 /nix/store/xv1h1000f88mdsqs3p1r17vm126nx824-z3-4.8.15-dev23 /nix/store/pnbnrc4s3jjzlsqg9cyynvhmllagn0g0-z3-4.8.15-lib24 /nix/store/9nm592kmc76dkv1skqqyr4a0ifbbwj57-z3-4.8.15-python25error: 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'.26 Reason: builder failed with exit code 2.27 Output paths:28 /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.529 Last 25 log lines:30 > **CERTIFICATION FAILED** for /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/lexer/tests.lisp31 >32 > make: *** [/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/build/make_cert:116: centaur/vl/loader/lexer/tests.cert] Error 133 > make: *** Waiting for unfinished jobs....34 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/annotate/bind.cert (79.928s) at 10-Oct-2026 01:19:38.93735 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/paramdecls.cert (44.138s) at 10-Oct-2026 01:19:48.13336 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-namespace.cert (29.159s) at 10-Oct-2026 01:19:48.85937 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/inject-comments.cert (36.034s) at 10-Oct-2026 01:19:49.60638 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/logicassign.cert (29.600s) at 10-Oct-2026 01:19:50.20639 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/lintstub.cert (37.303s) at 10-Oct-2026 01:19:58.86140 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/writer.cert (120.675s) at 10-Oct-2026 01:20:08.53941 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/tests/base.cert (44.303s) at 10-Oct-2026 01:20:13.07642 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/drop-missing-submodules.cert (43.263s) at 10-Oct-2026 01:20:15.26043 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/unparam/expr-classes.cert (119.038s) at 10-Oct-2026 01:20:16.07244 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-globalparams.cert (79.715s) at 10-Oct-2026 01:20:40.63645 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/ctxexprs.cert (127.642s) at 10-Oct-2026 01:20:41.21746 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/evaluation-lemmas.cert (376.764s) at 10-Oct-2026 01:20:52.78947 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert on 10-Oct-2026 01:20:52.90048 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert (3.141s) at 10-Oct-2026 01:20:56.05349 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model'50 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/legacy-defrstobj/basic-tests.cert (365.889s) at 10-Oct-2026 01:21:36.59451 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/evaluation-lemmas.cert (374.531s) at 10-Oct-2026 01:24:21.45152 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert on 10-Oct-2026 01:24:21.49453 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert (1.860s) at 10-Oct-2026 01:24:23.36154 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2'55 For full logs, run:56 nix log /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv57error: Cannot build '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv'.58 Reason: builder failed with exit code 1.59 Output paths:60 /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5