https://git.altlinux.org/tasks/334708/logs/events.6.1.log
subtask name aarch64 armh i586 ppc64le x86_64 #600 cbmc 9:24 14:44 6:36 6:53 failed 2023-Nov-25 16:25:34 :: test-only task #334708 for sisyphus resumed by vt: #100 removed #200 removed #300 removed #400 removed #500 removed #600 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-25 16:25:32 2023-Nov-25 16:25:35 :: [ppc64le] #600 cbmc.git 5.95.1-alt1: build start 2023-Nov-25 16:25:35 :: [i586] #600 cbmc.git 5.95.1-alt1: build start 2023-Nov-25 16:25:35 :: [aarch64] #600 cbmc.git 5.95.1-alt1: build start 2023-Nov-25 16:25:35 :: [x86_64] #600 cbmc.git 5.95.1-alt1: build start 2023-Nov-25 16:25:35 :: [armh] #600 cbmc.git 5.95.1-alt1: build start [x86_64] + /bin/mkdir -p /usr/src/RPM/BUILD [x86_64] + cd /usr/src/RPM/BUILD [x86_64] + cd cbmc-5.95.1 [x86_64] + x86_64-alt-linux/bin/cbmc --version [x86_64] 5.95.1 (alt1:sisyphus+334708.600.6.1) [x86_64] + x86_64-alt-linux/bin/cbmc --version [x86_64] + grep -wF 5.95.1 [x86_64] 5.95.1 (alt1:sisyphus+334708.600.6.1) [x86_64] + ctest --test-dir x86_64-alt-linux --output-on-failure --force-new-ctest-process --parallel 32 --label-regex CORE [x86_64] /usr/src/tmp/rpm-tmp.96764: line 131: ctest: command not found 2023-Nov-25 16:28:59 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed 2023-Nov-25 16:28:59 :: [x86_64] #600 cbmc.git 5.95.1-alt1: build FAILED 2023-Nov-25 16:28:59 :: [x86_64] requesting cancellation of task processing 2023-Nov-25 16:32:11 :: [i586] #600 cbmc.git 5.95.1-alt1: build OK 2023-Nov-25 16:32:28 :: [ppc64le] #600 cbmc.git 5.95.1-alt1: build OK 2023-Nov-25 16:34:59 :: [aarch64] #600 cbmc.git 5.95.1-alt1: build OK 2023-Nov-25 16:40:19 :: [armh] #600 cbmc.git 5.95.1-alt1: build OK 2023-Nov-25 16:28:59 :: [x86_64] build FAILED 2023-Nov-25 16:40:19 :: task #334708 for sisyphus FAILED _______________________________________________ Sisyphus-incominger mailing list [email protected] https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
