[riscv-reports] [#100047] sisyphus_riscv64 DONE srpm=cbmc-6.8.0-alt1.src.rpm

[Girar sisyphus_riscv64 pender recycler]

http://web.build.srt.basealt.ru/tasks/archive/done/_97/100047/logs/events.1.2.log

subtask  name  riscv64
   #100  cbmc    25:45

2025-Nov-09 08:09:46 :: shared task #100047 for sisyphus_riscv64 started by recycler:
2025-Nov-09 08:09:46 :: message: sync
#100 build cbmc-6.8.0-alt1.src.rpm
2025-Nov-09 08:09:52 :: [riscv64] #100 cbmc-6.8.0-alt1.src.rpm: build start
2025-Nov-09 08:10:55 :: [riscv64] #100 cbmc-6.8.0-alt1.src.rpm: build OK (cached)
2025-Nov-09 08:10:55 :: 100: build check OK (cached)
2025-Nov-09 08:10:55 :: build check OK
2025-Nov-09 08:10:56 :: #100: cbmc-6.8.0-alt1.src.rpm: version check OK
2025-Nov-09 08:10:56 :: build version check OK
2025-Nov-09 08:10:56 :: noarch check OK
2025-Nov-09 08:10:57 :: plan: src +1 -1 =19838, riscv64 +2 -2 =35025
#100 cbmc 6.7.1-alt1 -> 6.8.0-alt1
 Thu Nov 06 2025 Vitaly Chikunov <vt at altlinux.org> 6.8.0-alt1
 - Update to cbmc-6.8.0 (2025-11-05).
2025-Nov-09 08:11:18 :: patched apt indices
2025-Nov-09 08:11:20 :: created next repo
2025-Nov-09 08:11:29 :: duplicate provides check OK
2025-Nov-09 08:11:51 :: dependencies check OK
2025-Nov-09 08:12:10 :: [riscv64] ELF symbols check OK
2025-Nov-09 08:12:28 :: [riscv64.0] #100 cbmc: install check start
2025-Nov-09 08:13:18 :: [riscv64.0] #100 cbmc: install check OK (cached)
2025-Nov-09 08:13:24 :: gears inheritance check OK
2025-Nov-09 08:13:24 :: srpm inheritance check OK
check-subtask-perms: #100: cbmc: approved by superuser iv
2025-Nov-09 08:13:24 :: acl check OK
2025-Nov-09 08:13:32 :: created contents_index files
2025-Nov-09 08:13:37 :: created hash files: riscv64 src
2025-Nov-09 08:13:38 :: task #100047 for sisyphus_riscv64 TESTED
2025-Nov-09 08:13:38 :: task is ready for commit
2025-Nov-09 08:13:39 :: repo clone OK
2025-Nov-09 08:13:40 :: packages update OK
2025-Nov-09 08:13:40 :: [riscv64] update OK
2025-Nov-09 08:13:40 :: repo update OK
2025-Nov-09 08:13:44 :: repo save OK
2025-Nov-09 08:13:44 :: src index update OK
fatal: tag '6.8.0-alt1' already exists
2025-Nov-09 08:13:47 :: updated /srpms/c/cbmc.git branch `sisyphus_riscv64'
fatal: no tag exactly matches '0f3c1f55e078e990bbcbe9c1e2c91cd4c96b7711'
2025-Nov-09 08:13:50 :: gears update OK
2025-Nov-09 08:13:50 :: task #100047 for sisyphus_riscv64 DONE