[riscv-reports] [#109871] sisyphus_riscv64 DONE srpm=z3-4.15.5-alt1.src.rpm

[Girar sisyphus_riscv64 pender recycler]

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

subtask  name  riscv64
   #100  z3      43:01

2026-Feb-09 13:45:37 :: shared task #109871 for sisyphus_riscv64 started by recycler:
2026-Feb-09 13:45:37 :: message: sync
#100 build z3-4.15.5-alt1.src.rpm
2026-Feb-09 13:45:43 :: [riscv64] #100 z3-4.15.5-alt1.src.rpm: build start
2026-Feb-09 14:28:44 :: [riscv64] #100 z3-4.15.5-alt1.src.rpm: build OK
2026-Feb-09 14:28:46 :: 100: build check OK
2026-Feb-09 14:28:46 :: build check OK
2026-Feb-09 14:28:47 :: #100: z3-4.15.5-alt1.src.rpm: version check OK
2026-Feb-09 14:28:47 :: build version check OK
2026-Feb-09 14:28:47 :: noarch check OK
2026-Feb-09 14:28:47 :: plan: src +1 -1 =20440, noarch +1 -1 =21227, riscv64 +6 -6 =36151
#100 z3 4.15.4-alt1 -> 4.15.5-alt1
 Sun Feb 08 2026 Grigory Ustinov <grenka at altlinux.org> 4.15.5-alt1
 - Automatically updated to 4.15.5.
2026-Feb-09 14:29:15 :: patched apt indices
2026-Feb-09 14:29:17 :: created next repo
2026-Feb-09 14:29:26 :: duplicate provides check OK
2026-Feb-09 14:29:50 :: dependencies check OK
2026-Feb-09 14:30:10 :: [riscv64] ELF symbols check OK
2026-Feb-09 14:30:29 :: [riscv64.0] #100 libz3: install check start
2026-Feb-09 14:30:29 :: [riscv64.1] #100 libz3-devel: install check start
2026-Feb-09 14:30:29 :: [riscv64.2] #100 libz3-devel-docs: install check start
2026-Feb-09 14:30:30 :: [riscv64.3] #100 python3-module-z3: install check start
2026-Feb-09 14:30:30 :: [riscv64.4] #100 z3: install check start
	riscv64: libz3-devel=4.15.5-alt1 post-install unowned files:
 /usr/lib64/cmake
2026-Feb-09 14:31:37 :: [riscv64.2] #100 libz3-devel-docs: install check OK
2026-Feb-09 14:31:38 :: [riscv64.1] #100 libz3-devel: install check OK
2026-Feb-09 14:31:38 :: [riscv64.0] #100 libz3: install check OK
2026-Feb-09 14:31:40 :: [riscv64.4] #100 z3: install check OK
2026-Feb-09 14:31:44 :: [riscv64.3] #100 python3-module-z3: install check OK
2026-Feb-09 14:31:47 :: gears inheritance check OK
2026-Feb-09 14:31:47 :: srpm inheritance check OK
check-subtask-perms: #100: z3: approved by superuser iv
2026-Feb-09 14:31:47 :: acl check OK
2026-Feb-09 14:32:05 :: created contents_index files
2026-Feb-09 14:32:10 :: created hash files: noarch riscv64 src
2026-Feb-09 14:32:11 :: task #109871 for sisyphus_riscv64 TESTED
2026-Feb-09 14:32:12 :: task is ready for commit
2026-Feb-09 14:32:13 :: repo clone OK
2026-Feb-09 14:32:13 :: packages update OK
2026-Feb-09 14:32:15 :: [riscv64 noarch] update OK
2026-Feb-09 14:32:16 :: repo update OK
2026-Feb-09 14:32:20 :: repo save OK
2026-Feb-09 14:32:20 :: 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.5-alt1' already exists
2026-Feb-09 14:32:21 :: updated /srpms/z/z3.git branch `sisyphus_riscv64'
fatal: no tag exactly matches 'de297c4f4d5591beb5300a7648362cfd9a9ff76b'
2026-Feb-09 14:32:21 :: gears update OK
2026-Feb-09 14:32:21 :: task #109871 for sisyphus_riscv64 DONE