[riscv-reports] [#88159] sisyphus_riscv64 DONE srpm=z3-4.15.2-alt2.src.rpm

[Girar sisyphus_riscv64 pender recycler]

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

subtask  name  riscv64
   #100  z3      43:28

2025-Jul-01 21:34:18 :: shared task #88159 for sisyphus_riscv64 started by recycler:
2025-Jul-01 21:34:18 :: message: sync
#100 build z3-4.15.2-alt2.src.rpm
2025-Jul-01 21:34:27 :: [riscv64] #100 z3-4.15.2-alt2.src.rpm: build start
2025-Jul-01 21:35:33 :: [riscv64] #100 z3-4.15.2-alt2.src.rpm: build OK (cached)
2025-Jul-01 21:35:35 :: #100: z3-4.15.2-alt2.src.rpm: build check OK
2025-Jul-01 21:35:36 :: build check OK
2025-Jul-01 21:35:36 :: noarch check OK
2025-Jul-01 21:35:36 :: plan: src +1 -1 =19222, noarch +1 -1 =20342, riscv64 +6 -6 =33368
#100 z3 4.15.2-alt1 -> 4.15.2-alt2
 Tue Jul 01 2025 Grigory Ustinov <grenka at altlinux.org> 4.15.2-alt2
 - Added patch, fixing libz3 loading (Closes: #54994).
2025-Jul-01 21:35:56 :: patched apt indices
2025-Jul-01 21:35:58 :: created next repo
2025-Jul-01 21:36:07 :: duplicate provides check OK
2025-Jul-01 21:36:28 :: dependencies check OK
2025-Jul-01 21:36:45 :: [riscv64] ELF symbols check OK
2025-Jul-01 21:37:09 :: [riscv64.0] #100 libz3: install check start
2025-Jul-01 21:37:09 :: [riscv64.1] #100 libz3-devel: install check start
2025-Jul-01 21:37:09 :: [riscv64.2] #100 libz3-devel-docs: install check start
2025-Jul-01 21:37:09 :: [riscv64.3] #100 python3-module-z3: install check start
2025-Jul-01 21:37:10 :: [riscv64.4] #100 z3: install check start
2025-Jul-01 21:37:59 :: [riscv64.2] #100 libz3-devel-docs: install check OK (cached)
2025-Jul-01 21:38:00 :: [riscv64.0] #100 libz3: install check OK (cached)
	riscv64: libz3-devel=4.15.2-alt2 post-install unowned files:
 /usr/lib64/cmake
2025-Jul-01 21:38:00 :: [riscv64.1] #100 libz3-devel: install check OK (cached)
2025-Jul-01 21:38:00 :: [riscv64.4] #100 z3: install check OK (cached)
2025-Jul-01 21:38:02 :: [riscv64.3] #100 python3-module-z3: install check OK (cached)
2025-Jul-01 21:38:09 :: gears inheritance check OK
2025-Jul-01 21:38:09 :: srpm inheritance check OK
check-subtask-perms: #100: z3: approved by superuser iv
2025-Jul-01 21:38:10 :: acl check OK
2025-Jul-01 21:38:28 :: created contents_index files
2025-Jul-01 21:38:32 :: created hash files: noarch riscv64 src
2025-Jul-01 21:38:33 :: task #88159 for sisyphus_riscv64 TESTED
2025-Jul-01 21:38:34 :: task is ready for commit
2025-Jul-01 21:38:35 :: repo clone OK
2025-Jul-01 21:38:35 :: packages update OK
2025-Jul-01 21:38:37 :: [riscv64 noarch] update OK
2025-Jul-01 21:38:37 :: repo update OK
2025-Jul-01 21:38:41 :: repo save OK
2025-Jul-01 21:38:41 :: 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.2-alt2' already exists
2025-Jul-01 21:38:42 :: updated /srpms/z/z3.git branch `sisyphus_riscv64'
fatal: no tag exactly matches '9a5a99c918258d5a2b9f66a021c69f9dd059845b'
2025-Jul-01 21:38:42 :: gears update OK
2025-Jul-01 21:38:42 :: task #88159 for sisyphus_riscv64 DONE