setup
checks.aarch64-linux.acl2
· build #5
· 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 19 paths will be fetched (0.0 KiB download, 1013.8 MiB unpacked):8 /nix/store/blpk6xadis34k6nhba8426hb162l1lm6-abc-verifier-unstable-2022-11-099 /nix/store/zkmzlvmlizm1jqjygc69469pfai2jpfp-binutils-wrapper-2.3910 /nix/store/3v1z3a2q231ap60xin3wylyxkk1ipyj6-expand-response-params11 /nix/store/jm6gqq369d0vd9pz3b7swn2vyycygdb9-gcc-wrapper-9.5.012 /nix/store/jk3b1m9s8zq5prxlrzbvjzc9mpnyaasz-glucose-4.113 /nix/store/12lbfxx2859frgcxk57gc108n0yrxgyk-hook14 /nix/store/dy5fxjsf0iknxxj6zz9fqx4x34fz1d7y-hook15 /nix/store/x19ai18nawqx473qmfdpnzk0sr20450c-hook16 /nix/store/dvzl7bh764r4fqzax2m92vz83hm6z5a1-hostname-net-tools-2.1017 /nix/store/6gw95xsyh43xshpx2zpch841rcj4qb31-libipasirglucose4-201718 /nix/store/dvfb9jf7jfi5w921wlsiiay2wgwmrkww-minisat-2.2.119 /nix/store/fzwd9z9rcagfm8ab10bp57qzr8ixpmp8-net-tools-2.1020 /nix/store/km5jjjhdasdksr703sab7gdpgm1111lq-sbcl-2.3.021 /nix/store/p84v26phjpcynf9bqlkvy4sifw7kfani-source22 /nix/store/arlb82anz496qkfxks2m9p9i86wr1p12-stdenv-linux23 /nix/store/iav4cjichbl1lmklvg4034rrs3lnkk9i-z3-4.8.1524 /nix/store/xv1h1000f88mdsqs3p1r17vm126nx824-z3-4.8.15-dev25 /nix/store/pnbnrc4s3jjzlsqg9cyynvhmllagn0g0-z3-4.8.15-lib26 /nix/store/9nm592kmc76dkv1skqqyr4a0ifbbwj57-z3-4.8.15-python27error: 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'.28 Reason: builder failed with exit code 2.29 Output paths:30 /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.531 Last 25 log lines:32 > **CERTIFICATION FAILED** for /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/lexer/tests.lisp33 >34 > make: *** [/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/build/make_cert:116: centaur/vl/loader/lexer/tests.cert] Error 135 > make: *** Waiting for unfinished jobs....36 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/inject-comments.cert (37.656s) at 15-Oct-2026 19:54:30.62137 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/annotate/bind.cert (83.164s) at 15-Oct-2026 19:54:32.60038 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-namespace.cert (33.089s) at 15-Oct-2026 19:54:40.03639 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/logicassign.cert (34.096s) at 15-Oct-2026 19:54:42.35440 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/blockitems.cert (56.369s) at 15-Oct-2026 19:54:46.06141 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/lintstub.cert (34.357s) at 15-Oct-2026 19:54:51.74242 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/writer.cert (122.734s) at 15-Oct-2026 19:54:56.66543 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/evaluation-lemmas.cert (299.046s) at 15-Oct-2026 19:54:59.58944 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert on 15-Oct-2026 19:54:59.63045 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model/ex2/all-warrants-valid.cert (2.009s) at 15-Oct-2026 19:55:01.64546 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model'47 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/transforms/unparam/expr-classes.cert (116.559s) at 15-Oct-2026 19:55:02.92248 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/loader/parser/tests/base.cert (36.716s) at 15-Oct-2026 19:55:03.54649 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/mlib/ctxexprs.cert (110.111s) at 15-Oct-2026 19:55:16.43150 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/centaur/vl/lint/check-globalparams.cert (64.840s) at 15-Oct-2026 19:55:21.19151 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/dpss/Collins/level-1-initial-synchronization.cert (272.988s) at 15-Oct-2026 19:55:56.29752 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/evaluation-lemmas.cert (367.775s) at 15-Oct-2026 19:57:58.46753 > Making /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert on 15-Oct-2026 19:57:58.51054 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2/ex2/all-warrants-valid.cert (2.015s) at 15-Oct-2026 19:58:00.53555 > make[1]: Leaving directory '/nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/apply-model-2'56 > Built /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5/share/acl2/books/projects/stateman/stateman22.cert (420.758s) at 15-Oct-2026 19:58:27.04857 For full logs, run:58 nix log /nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv59error: Cannot build '/nix/store/bccvzg56cz913nfynrkj7hsvs06g02x2-acl2-8.5.drv'.60 Reason: builder failed with exit code 1.61 Output paths:62 /nix/store/p904gdkh45lgfwimybi61nx2yia6jznz-acl2-8.5