[riscv-reports] [#88539] sisyphus_riscv64 DONE (try 3) srpm=z3-4.15.2-alt3.src.rpm ...

Girar sisyphus_riscv64 pender recycler noreply at basealt.ru
Sun Jul 6 21:41:24 MSK 2025


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

2025-Jul-06 18:38:18 :: shared task #88539 for sisyphus_riscv64 resumed by recycler:
2025-Jul-06 18:38:18 :: message: sync
#100 build z3-4.15.2-alt3.src.rpm
#200 build python3-module-typeshed-client-2.7.0-alt1.src.rpm
#300 removed
2025-Jul-06 18:38:18 :: created build repo
2025-Jul-06 18:38:28 :: [riscv64] #100 z3-4.15.2-alt3.src.rpm: build start
2025-Jul-06 18:38:35 :: [riscv64] #100 z3-4.15.2-alt3.src.rpm: build swiftly SKIPPED
2025-Jul-06 18:38:35 :: [riscv64] #200 python3-module-typeshed-client-2.7.0-alt1.src.rpm: build start
2025-Jul-06 18:38:37 :: [riscv64] #200 python3-module-typeshed-client-2.7.0-alt1.src.rpm: build swiftly SKIPPED
2025-Jul-06 18:38:39 :: #100: z3-4.15.2-alt3.src.rpm: build check OK
2025-Jul-06 18:38:40 :: #200: python3-module-typeshed-client-2.7.0-alt1.src.rpm: build check OK
2025-Jul-06 18:38:40 :: build check OK
2025-Jul-06 18:38:40 :: noarch check OK
2025-Jul-06 18:38:41 :: plan: src +2 -1 =19254, noarch +2 -1 =20368, riscv64 +6 -6 =33432
#100 z3 4.15.2-alt2 -> 4.15.2-alt3
 Tue Jul 01 2025 Anton Zhukharev <ancieg at altlinux.org> 4.15.2-alt3
 - Mapped PyPI name to distro's one.
2025-Jul-06 18:39:02 :: patched apt indices
2025-Jul-06 18:39:04 :: created next repo
2025-Jul-06 18:39:13 :: duplicate provides check OK
2025-Jul-06 18:39:34 :: dependencies check OK
2025-Jul-06 18:39:51 :: [riscv64] ELF symbols check OK
2025-Jul-06 18:40:13 :: [riscv64.0] #100 libz3: install check start
2025-Jul-06 18:40:13 :: [riscv64.0] #100 libz3: install check swiftly skipped
2025-Jul-06 18:40:13 :: [riscv64.0] #100 libz3-devel: install check start
2025-Jul-06 18:40:13 :: [riscv64.0] #100 libz3-devel: install check swiftly skipped
2025-Jul-06 18:40:13 :: [riscv64.0] #100 libz3-devel-docs: install check start
2025-Jul-06 18:40:13 :: [riscv64.0] #100 libz3-devel-docs: install check swiftly skipped
2025-Jul-06 18:40:13 :: [riscv64.0] #200 python3-module-typeshed-client: install check start
2025-Jul-06 18:40:13 :: [riscv64.0] #200 python3-module-typeshed-client: install check swiftly skipped
2025-Jul-06 18:40:13 :: [riscv64.0] #100 python3-module-z3: install check start
2025-Jul-06 18:40:13 :: [riscv64.0] #100 python3-module-z3: install check swiftly skipped
2025-Jul-06 18:40:13 :: [riscv64.0] #100 z3: install check start
2025-Jul-06 18:40:13 :: [riscv64.0] #100 z3: install check swiftly skipped
2025-Jul-06 18:40:21 :: gears inheritance check OK
2025-Jul-06 18:40:21 :: srpm inheritance check OK
check-subtask-perms: #100: z3: approved by superuser iv
check-subtask-perms: #200: python3-module-typeshed-client: approved by superuser iv
2025-Jul-06 18:40:21 :: acl check OK
2025-Jul-06 18:40:39 :: created contents_index files
2025-Jul-06 18:40:43 :: created hash files: noarch riscv64 src
2025-Jul-06 18:40:44 :: task #88539 for sisyphus_riscv64 TESTED
2025-Jul-06 18:40:44 :: task is ready for commit
2025-Jul-06 18:40:45 :: repo clone OK
2025-Jul-06 18:40:46 :: packages update OK
2025-Jul-06 18:40:48 :: [riscv64 noarch] update OK
2025-Jul-06 18:40:48 :: repo update OK
2025-Jul-06 18:40:51 :: repo save OK
2025-Jul-06 18:40:51 :: src index update OK
2025-Jul-06 18:40:51 :: created /srpms/p/python3-module-typeshed-client.git branch `sisyphus_riscv64'
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-alt3' already exists
2025-Jul-06 18:40:52 :: updated /srpms/z/z3.git branch `sisyphus_riscv64'
fatal: no tag exactly matches 'e0cff4a6e50bf4dcef2ed43e1162e3fdbd6c9f22'
2025-Jul-06 18:41:24 :: gears update OK
2025-Jul-06 18:41:24 :: ACL for new project `python3-module-typeshed-client' assigned to user `recycler'
2025-Jul-06 18:41:24 :: task #88539 for sisyphus_riscv64 DONE


More information about the Riscv-reports mailing list