[#369889] [test-only] FAILED (try 6) ppx_deriving.git=6.0.3-alt1 ppx_deriving_yojson.git=3.9.1-alt1 ...
Girar awaiter (vt)
girar-builder at altlinux.org
Sun Jan 19 06:05:04 MSK 2025
https://git.altlinux.org/tasks/369889/logs/events.6.1.log
https://packages.altlinux.org/tasks/369889
subtask name aarch64 i586 ppc64le x86_64
#600 why3 3:25 failed failed 2:06
2025-Jan-19 02:58:41 :: test-only task #369889 for sisyphus resumed by vt:
#100 build 6.0.3-alt1 from /people/vt/packages/ppx_deriving.git fetched at 2025-Jan-18 04:28:20
#200 build 3.9.1-alt1 from /people/vt/packages/ppx_deriving_yojson.git fetched at 2025-Jan-18 05:00:29
#300 removed
#400 removed
#500 removed
#600 build 1.8.0-alt1 from /people/vt/packages/why3.git fetched at 2025-Jan-19 02:58:37
2025-Jan-19 02:58:41 :: created build repo
2025-Jan-19 02:58:42 :: [i586] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 02:58:42 :: [ppc64le] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 02:58:42 :: [aarch64] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 02:58:42 :: [x86_64] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 02:58:59 :: [i586] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 02:59:00 :: [i586] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 02:59:01 :: [x86_64] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 02:59:01 :: [x86_64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 02:59:12 :: [i586] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 02:59:12 :: [i586] #600 why3.git 1.8.0-alt1: build start
2025-Jan-19 02:59:14 :: [x86_64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 02:59:15 :: [x86_64] #600 why3.git 1.8.0-alt1: build start
2025-Jan-19 02:59:17 :: [aarch64] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 02:59:17 :: [aarch64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 02:59:24 :: [ppc64le] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 02:59:25 :: [ppc64le] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 02:59:40 :: [aarch64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 02:59:40 :: [aarch64] #600 why3.git 1.8.0-alt1: build start
2025-Jan-19 02:59:49 :: [ppc64le] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 02:59:49 :: [ppc64le] #600 why3.git 1.8.0-alt1: build start
[i586] Verifying ELF objects in /usr/src/tmp/why3-buildroot (arch=strict,fhs=strict,lfs=strict,lint=strict,rpath=strict,stack=strict,textrel=strict,unresolved=relaxed)
[i586] verify-elf: ERROR: ./usr/lib/why3/why3server: uses non-LFS functions: fcntl fopen getrlimit mkstemp open setrlimit
[i586] verify-elf: ERROR: ./usr/lib/why3/why3cpulimit: uses non-LFS functions: getrlimit setrlimit
2025-Jan-19 03:00:37 :: [i586] why3.git 1.8.0-alt1: remote: build failed
2025-Jan-19 03:00:37 :: [i586] #600 why3.git 1.8.0-alt1: build FAILED
2025-Jan-19 03:00:37 :: [i586] requesting cancellation of task processing
2025-Jan-19 03:01:21 :: [x86_64] #600 why3.git 1.8.0-alt1: build OK
2025-Jan-19 03:03:05 :: [aarch64] #600 why3.git 1.8.0-alt1: build OK
[ppc64le] + grep -Fx 'Why3 platform, version 1.8.0'
[ppc64le] Fatal error: cannot load shared library dllcamlzip
[ppc64le] Reason: dllcamlzip.so: cannot open shared object file: No such file or directory
2025-Jan-19 03:05:04 :: [ppc64le] why3.git 1.8.0-alt1: remote: build failed
2025-Jan-19 03:05:04 :: [ppc64le] #600 why3.git 1.8.0-alt1: build FAILED
2025-Jan-19 03:00:37 :: [i586] build FAILED
2025-Jan-19 03:05:04 :: [ppc64le] build FAILED
2025-Jan-19 03:05:04 :: task #369889 for sisyphus FAILED
More information about the Sisyphus-incominger
mailing list