[riscv-reports] [#84109] sisyphus_riscv64 DONE srpm=cadical-2.1.3-alt1.src.rpm srpm=cbmc-6.6.0-alt1.src.rpm

[Girar sisyphus_riscv64 pender recycler]

http://web.build.srt.basealt.ru/tasks/archive/done/_82/84109/logs/events.1.1.log

subtask  name     riscv64
   #100  cadical     8:12
   #200  cbmc       26:27

2025-May-24 21:11:47 :: shared task #84109 for sisyphus_riscv64 started by recycler:
2025-May-24 21:11:47 :: message: sync_with_sisyphus
#100 build cadical-2.1.3-alt1.src.rpm
#200 build cbmc-6.6.0-alt1.src.rpm
2025-May-24 21:11:47 :: created build repo
2025-May-24 21:12:01 :: [riscv64] #100 cadical-2.1.3-alt1.src.rpm: build start
2025-May-24 21:20:13 :: [riscv64] #100 cadical-2.1.3-alt1.src.rpm: build OK
2025-May-24 21:20:14 :: [riscv64] #200 cbmc-6.6.0-alt1.src.rpm: build start
2025-May-24 21:46:41 :: [riscv64] #200 cbmc-6.6.0-alt1.src.rpm: build OK
2025-May-24 21:46:43 :: #100: cadical-2.1.3-alt1.src.rpm: build check OK
2025-May-24 21:46:43 :: #200: cbmc-6.6.0-alt1.src.rpm: build check OK
2025-May-24 21:46:44 :: build check OK
2025-May-24 21:46:44 :: noarch check OK
2025-May-24 21:46:44 :: plan: src +2 -2 =19098, riscv64 +8 -8 =32982
#100 cadical 2.1.2-alt1 -> 2.1.3-alt1
 Fri Feb 14 2025 Daniel Zagaynov <kotopesutility at altlinux.org> 2.1.3-alt1
 - Update to upstream 2.1.3
#200 cbmc 6.5.0-alt1 -> 6.6.0-alt1
 Mon May 05 2025 Daniel Zagaynov <kotopesutility at altlinux.org> 6.6.0-alt1
 - Update to cbmc-6.6.0 (2025-04-28).
2025-May-24 21:47:05 :: patched apt indices
2025-May-24 21:47:07 :: created next repo
2025-May-24 21:47:16 :: duplicate provides check OK
2025-May-24 21:47:37 :: dependencies check OK
2025-May-24 21:47:56 :: [riscv64] ELF symbols check OK
2025-May-24 21:48:13 :: [riscv64.0] #100 cadical: install check start
2025-May-24 21:48:13 :: [riscv64.1] #200 cbmc: install check start
2025-May-24 21:48:13 :: [riscv64.2] #100 libcadical-devel: install check start
2025-May-24 21:48:13 :: [riscv64.3] #100 libcadical-devel-static: install check start
2025-May-24 21:48:13 :: [riscv64.4] #100 libcadical0: install check start
2025-May-24 21:49:16 :: [riscv64.0] #100 cadical: install check OK
2025-May-24 21:49:17 :: [riscv64.2] #100 libcadical-devel: install check OK
2025-May-24 21:49:17 :: [riscv64.4] #100 libcadical0: install check OK
2025-May-24 21:49:24 :: [riscv64.1] #200 cbmc: install check OK
2025-May-24 21:49:35 :: [riscv64.3] #100 libcadical-devel-static: install check OK
2025-May-24 21:49:40 :: gears inheritance check OK
2025-May-24 21:49:40 :: srpm inheritance check OK
check-subtask-perms: #100: cadical: approved by superuser iv
check-subtask-perms: #200: cbmc: approved by superuser iv
2025-May-24 21:49:40 :: acl check OK
2025-May-24 21:49:48 :: created contents_index files
2025-May-24 21:49:52 :: created hash files: riscv64 src
2025-May-24 21:49:53 :: task #84109 for sisyphus_riscv64 TESTED
2025-May-24 21:49:53 :: task is ready for commit
2025-May-24 21:49:55 :: repo clone OK
2025-May-24 21:49:55 :: packages update OK
2025-May-24 21:49:56 :: [riscv64] update OK
2025-May-24 21:49:56 :: repo update OK
2025-May-24 21:49:59 :: repo save OK
2025-May-24 21:49:59 :: src index update OK
fatal: tag '2.1.3-alt1' already exists
2025-May-24 21:49:59 :: updated /srpms/c/cadical.git branch `sisyphus_riscv64'
fatal: no tag exactly matches 'cfd0b209230266702f1313001659d00ca75837fd'
fatal: tag '6.6.0-alt1' already exists
2025-May-24 21:50:02 :: updated /srpms/c/cbmc.git branch `sisyphus_riscv64'
fatal: no tag exactly matches 'fa6465bf95040cae76f6643dfbb6f11310876c45'
2025-May-24 21:50:05 :: gears update OK
2025-May-24 21:50:05 :: task #84109 for sisyphus_riscv64 DONE