[riscv-reports] [#87444] sisyphus_riscv64 DONE srpm=z3-4.15.1-alt1.src.rpm
Girar sisyphus_riscv64 pender recycler
noreply at basealt.ru
Wed Jun 25 02:54:54 MSK 2025
http://web.build.srt.basealt.ru/tasks/archive/done/_85/87444/logs/events.1.2.log
subtask name riscv64
#100 z3 43:31
2025-Jun-24 23:50:35 :: shared task #87444 for sisyphus_riscv64 started by recycler:
2025-Jun-24 23:50:35 :: message: sync
#100 build z3-4.15.1-alt1.src.rpm
2025-Jun-24 23:50:41 :: [riscv64] #100 z3-4.15.1-alt1.src.rpm: build start
2025-Jun-24 23:51:46 :: [riscv64] #100 z3-4.15.1-alt1.src.rpm: build OK (cached)
2025-Jun-24 23:51:47 :: #100: z3-4.15.1-alt1.src.rpm: build check OK
2025-Jun-24 23:51:48 :: build check OK
2025-Jun-24 23:51:48 :: noarch check OK
2025-Jun-24 23:51:48 :: plan: src +1 -1 =19191, noarch +1 -1 =20330, riscv64 +6 -6 =33311
#100 z3 4.15.0-alt1 -> 4.15.1-alt1
Tue Jun 24 2025 Grigory Ustinov <grenka at altlinux.org> 4.15.1-alt1
- Automatically updated to 4.15.1.
2025-Jun-24 23:52:08 :: patched apt indices
2025-Jun-24 23:52:10 :: created next repo
2025-Jun-24 23:52:19 :: duplicate provides check OK
2025-Jun-24 23:52:40 :: dependencies check OK
2025-Jun-24 23:52:57 :: [riscv64] ELF symbols check OK
2025-Jun-24 23:53:22 :: [riscv64.0] #100 libz3: install check start
2025-Jun-24 23:53:22 :: [riscv64.1] #100 libz3-devel: install check start
2025-Jun-24 23:53:22 :: [riscv64.2] #100 libz3-devel-docs: install check start
2025-Jun-24 23:53:22 :: [riscv64.3] #100 python3-module-z3: install check start
2025-Jun-24 23:53:22 :: [riscv64.4] #100 z3: install check start
2025-Jun-24 23:54:12 :: [riscv64.2] #100 libz3-devel-docs: install check OK (cached)
2025-Jun-24 23:54:12 :: [riscv64.0] #100 libz3: install check OK (cached)
riscv64: libz3-devel=4.15.1-alt1 post-install unowned files:
/usr/lib64/cmake
2025-Jun-24 23:54:13 :: [riscv64.1] #100 libz3-devel: install check OK (cached)
2025-Jun-24 23:54:14 :: [riscv64.3] #100 python3-module-z3: install check OK (cached)
2025-Jun-24 23:54:14 :: [riscv64.4] #100 z3: install check OK (cached)
2025-Jun-24 23:54:22 :: gears inheritance check OK
2025-Jun-24 23:54:22 :: srpm inheritance check OK
check-subtask-perms: #100: z3: approved by superuser iv
2025-Jun-24 23:54:22 :: acl check OK
2025-Jun-24 23:54:40 :: created contents_index files
2025-Jun-24 23:54:44 :: created hash files: noarch riscv64 src
2025-Jun-24 23:54:45 :: task #87444 for sisyphus_riscv64 TESTED
2025-Jun-24 23:54:46 :: task is ready for commit
2025-Jun-24 23:54:47 :: repo clone OK
2025-Jun-24 23:54:47 :: packages update OK
2025-Jun-24 23:54:49 :: [riscv64 noarch] update OK
2025-Jun-24 23:54:49 :: repo update OK
2025-Jun-24 23:54:53 :: repo save OK
2025-Jun-24 23:54:53 :: src index update OK
warning: in the working copy of 'z3/src/math/simplex/model_based_opt.cpp', CRLF will be replaced by LF the next time Git touches it
fatal: tag '4.15.1-alt1' already exists
2025-Jun-24 23:54:54 :: updated /srpms/z/z3.git branch `sisyphus_riscv64'
fatal: no tag exactly matches 'e892fc1b6980f9b20e3410bbc468de295087a35e'
2025-Jun-24 23:54:54 :: gears update OK
2025-Jun-24 23:54:54 :: task #87444 for sisyphus_riscv64 DONE
More information about the Riscv-reports
mailing list