[riscv-reports] [#87694] sisyphus_riscv64 DONE srpm=cbmc-6.7.0-alt1.src.rpm
Girar sisyphus_riscv64 pender recycler
noreply at basealt.ru
Fri Jun 27 05:52:50 MSK 2025
http://web.build.srt.basealt.ru/tasks/archive/done/_85/87694/logs/events.1.2.log
subtask name riscv64
#100 cbmc 31:31
2025-Jun-27 02:48:50 :: shared task #87694 for sisyphus_riscv64 started by recycler:
2025-Jun-27 02:48:50 :: message: sync
#100 build cbmc-6.7.0-alt1.src.rpm
2025-Jun-27 02:48:56 :: [riscv64] #100 cbmc-6.7.0-alt1.src.rpm: build start
2025-Jun-27 02:50:01 :: [riscv64] #100 cbmc-6.7.0-alt1.src.rpm: build OK (cached)
2025-Jun-27 02:50:02 :: #100: cbmc-6.7.0-alt1.src.rpm: build check OK
2025-Jun-27 02:50:02 :: build check OK
2025-Jun-27 02:50:02 :: noarch check OK
2025-Jun-27 02:50:03 :: plan: src +1 -1 =19196, riscv64 +2 -2 =33322
#100 cbmc 6.6.0-alt1 -> 6.7.0-alt1
Thu Jun 26 2025 Daniel Zagaynov <kotopesutility at altlinux.org> 6.7.0-alt1
- Update to cbmc-6.7.0 (2025-06-26).
2025-Jun-27 02:50:23 :: patched apt indices
2025-Jun-27 02:50:25 :: created next repo
2025-Jun-27 02:50:34 :: duplicate provides check OK
2025-Jun-27 02:50:56 :: dependencies check OK
2025-Jun-27 02:51:12 :: [riscv64] ELF symbols check OK
2025-Jun-27 02:51:30 :: [riscv64.0] #100 cbmc: install check start
2025-Jun-27 02:52:20 :: [riscv64.0] #100 cbmc: install check OK (cached)
2025-Jun-27 02:52:25 :: gears inheritance check OK
2025-Jun-27 02:52:25 :: srpm inheritance check OK
check-subtask-perms: #100: cbmc: approved by superuser iv
2025-Jun-27 02:52:26 :: acl check OK
2025-Jun-27 02:52:33 :: created contents_index files
2025-Jun-27 02:52:38 :: created hash files: riscv64 src
2025-Jun-27 02:52:39 :: task #87694 for sisyphus_riscv64 TESTED
2025-Jun-27 02:52:39 :: task is ready for commit
2025-Jun-27 02:52:40 :: repo clone OK
2025-Jun-27 02:52:41 :: packages update OK
2025-Jun-27 02:52:42 :: [riscv64] update OK
2025-Jun-27 02:52:42 :: repo update OK
2025-Jun-27 02:52:45 :: repo save OK
2025-Jun-27 02:52:45 :: src index update OK
fatal: tag '6.7.0-alt1' already exists
2025-Jun-27 02:52:48 :: updated /srpms/c/cbmc.git branch `sisyphus_riscv64'
fatal: no tag exactly matches 'e2634b55548f16d14fd05515ebc1b6494a493a30'
2025-Jun-27 02:52:50 :: gears update OK
2025-Jun-27 02:52:50 :: task #87694 for sisyphus_riscv64 DONE
More information about the Riscv-reports
mailing list