[riscv-reports] [#68775] sisyphus_riscv64 DONE srpm=z3-4.13.4-alt1.src.rpm
Girar sisyphus_riscv64 pender recycler
noreply at basealt.ru
Tue Dec 31 12:15:29 MSK 2024
http://web.build.srt.basealt.ru/tasks/archive/done/_67/68775/logs/events.1.1.log
subtask name riscv64
#100 z3 42:17
2024-Dec-31 08:29:55 :: shared task #68775 for sisyphus_riscv64 started by recycler:
2024-Dec-31 08:29:55 :: message: sync_with_sisyphus
#100 build z3-4.13.4-alt1.src.rpm
2024-Dec-31 08:30:01 :: [riscv64] #100 z3-4.13.4-alt1.src.rpm: build start
2024-Dec-31 09:12:18 :: [riscv64] #100 z3-4.13.4-alt1.src.rpm: build OK
2024-Dec-31 09:12:19 :: #100: z3-4.13.4-alt1.src.rpm: build check OK
2024-Dec-31 09:12:20 :: build check OK
2024-Dec-31 09:12:20 :: noarch check OK
2024-Dec-31 09:12:20 :: plan: src +1 -1 =18421, noarch +1 -1 =19915, riscv64 +6 -6 =31351
#100 z3 4.13.3-alt1 -> 4.13.4-alt1
Mon Dec 23 2024 Grigory Ustinov <grenka at altlinux.org> 4.13.4-alt1
- Automatically updated to 4.13.4.
2024-Dec-31 09:12:39 :: patched apt indices
2024-Dec-31 09:12:41 :: created next repo
2024-Dec-31 09:12:48 :: duplicate provides check OK
2024-Dec-31 09:13:08 :: dependencies check OK
2024-Dec-31 09:13:24 :: [riscv64] ELF symbols check OK
2024-Dec-31 09:13:45 :: [riscv64.0] #100 libz3: install check start
2024-Dec-31 09:13:45 :: [riscv64.1] #100 libz3-devel: install check start
2024-Dec-31 09:13:45 :: [riscv64.2] #100 libz3-devel-docs: install check start
2024-Dec-31 09:13:45 :: [riscv64.3] #100 python3-module-z3: install check start
2024-Dec-31 09:13:45 :: [riscv64.4] #100 z3: install check start
2024-Dec-31 09:14:44 :: [riscv64.0] #100 libz3: install check OK
2024-Dec-31 09:14:44 :: [riscv64.2] #100 libz3-devel-docs: install check OK
riscv64: libz3-devel=4.13.4-alt1 post-install unowned files:
/usr/lib64/cmake
2024-Dec-31 09:14:45 :: [riscv64.1] #100 libz3-devel: install check OK
2024-Dec-31 09:14:46 :: [riscv64.4] #100 z3: install check OK
2024-Dec-31 09:14:51 :: [riscv64.3] #100 python3-module-z3: install check OK
2024-Dec-31 09:14:58 :: gears inheritance check OK
2024-Dec-31 09:14:58 :: srpm inheritance check OK
check-subtask-perms: #100: z3: approved by superuser iv
2024-Dec-31 09:14:58 :: acl check OK
2024-Dec-31 09:15:16 :: created contents_index files
2024-Dec-31 09:15:19 :: created hash files: noarch riscv64 src
2024-Dec-31 09:15:21 :: task #68775 for sisyphus_riscv64 TESTED
2024-Dec-31 09:15:21 :: task is ready for commit
2024-Dec-31 09:15:22 :: repo clone OK
2024-Dec-31 09:15:22 :: packages update OK
2024-Dec-31 09:15:24 :: [riscv64 noarch] update OK
2024-Dec-31 09:15:24 :: repo update OK
2024-Dec-31 09:15:28 :: repo save OK
2024-Dec-31 09:15:28 :: 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.13.4-alt1' already exists
2024-Dec-31 09:15:29 :: updated /srpms/z/z3.git branch `sisyphus_riscv64'
fatal: no tag exactly matches '2dc76c9a31f4150d7d90e19cee161b3c0e01594a'
2024-Dec-31 09:15:29 :: gears update OK
2024-Dec-31 09:15:29 :: task #68775 for sisyphus_riscv64 DONE
More information about the Riscv-reports
mailing list