[#318931] TESTED (try 5) z3.git=4.12.0-alt1

Thu May 4 15:08:58 MSK 2023

https://git.altlinux.org/tasks/318931/logs/events.5.1.log

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #500  z3       7:58  11:35  5:22     7:14    4:22

2023-May-04 11:47:59 :: test-only task #318931 for sisyphus resumed by kotopesutility:
#100 removed
#200 removed
#300 removed
#400 removed
#500 build 4.12.0-alt1 from /people/kotopesutility/packages/z3.git fetched at 2023-May-04 11:47:04
2023-May-04 11:48:01 :: [x86_64] #500 z3.git 4.12.0-alt1: build start
2023-May-04 11:48:01 :: [ppc64le] #500 z3.git 4.12.0-alt1: build start
2023-May-04 11:48:01 :: [aarch64] #500 z3.git 4.12.0-alt1: build start
2023-May-04 11:48:01 :: [i586] #500 z3.git 4.12.0-alt1: build start
2023-May-04 11:48:01 :: [armh] #500 z3.git 4.12.0-alt1: build start
2023-May-04 11:52:23 :: [x86_64] #500 z3.git 4.12.0-alt1: build OK
2023-May-04 11:53:23 :: [i586] #500 z3.git 4.12.0-alt1: build OK
2023-May-04 11:55:15 :: [ppc64le] #500 z3.git 4.12.0-alt1: build OK
2023-May-04 11:55:59 :: [aarch64] #500 z3.git 4.12.0-alt1: build OK
2023-May-04 11:59:36 :: [armh] #500 z3.git 4.12.0-alt1: build OK
2023-May-04 12:00:17 :: #500: z3.git 4.12.0-alt1: build check OK
2023-May-04 12:00:19 :: build check OK
2023-May-04 12:02:19 :: noarch check OK
2023-May-04 12:02:22 :: plan: src +1 -1 =18358, aarch64 +5 -5 =31388, armh +5 -5 =29330, i586 +5 -5 =31383, noarch +2 -2 =19136, ppc64le +5 -5 =30819, x86_64 +5 -5 =32319
#500 z3 4.8.8-alt1 -> 4.12.0-alt1
 Thu Apr 13 2023 Daniel Zagaynov <kotopesutility at altlinux> 4.12.0-alt1
 - Updated to upstream version 4.12.0.
2023-May-04 12:03:18 :: patched apt indices
2023-May-04 12:03:35 :: created next repo
2023-May-04 12:03:47 :: duplicate provides check OK
2023-May-04 12:04:29 :: dependencies check OK
2023-May-04 12:04:59 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
2023-May-04 12:05:12 :: [x86_64] #500 libz3: install check OK
2023-May-04 12:05:12 :: [i586] #500 libz3: install check OK
2023-May-04 12:05:20 :: [aarch64] #500 libz3: install check OK
2023-May-04 12:05:22 :: [x86_64] #500 libz3-debuginfo: install check OK
2023-May-04 12:05:23 :: [ppc64le] #500 libz3: install check OK
2023-May-04 12:05:24 :: [i586] #500 libz3-debuginfo: install check OK
	x86_64: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-May-04 12:05:25 :: [x86_64] #500 libz3-devel: install check OK
	i586: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib/cmake
2023-May-04 12:05:27 :: [i586] #500 libz3-devel: install check OK
2023-May-04 12:05:29 :: [x86_64] #500 libz3-devel-docs: install check OK
2023-May-04 12:05:31 :: [i586] #500 libz3-devel-docs: install check OK
2023-May-04 12:05:32 :: [armh] #500 libz3: install check OK
2023-May-04 12:05:33 :: [x86_64] #500 python3-module-z3: install check OK
2023-May-04 12:05:35 :: [i586] #500 python3-module-z3: install check OK
2023-May-04 12:05:37 :: [aarch64] #500 libz3-debuginfo: install check OK
2023-May-04 12:05:37 :: [x86_64] #500 z3: install check OK
2023-May-04 12:05:39 :: [i586] #500 z3: install check OK
2023-May-04 12:05:42 :: [ppc64le] #500 libz3-debuginfo: install check OK
	aarch64: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-May-04 12:05:43 :: [aarch64] #500 libz3-devel: install check OK
2023-May-04 12:05:47 :: [x86_64] #500 z3-debuginfo: install check OK
2023-May-04 12:05:49 :: [aarch64] #500 libz3-devel-docs: install check OK
	ppc64le: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-May-04 12:05:50 :: [ppc64le] #500 libz3-devel: install check OK
2023-May-04 12:05:50 :: [i586] #500 z3-debuginfo: install check OK
2023-May-04 12:05:57 :: [ppc64le] #500 libz3-devel-docs: install check OK
2023-May-04 12:05:57 :: [armh] #500 libz3-debuginfo: install check OK
2023-May-04 12:05:57 :: [aarch64] #500 python3-module-z3: install check OK
2023-May-04 12:06:03 :: [aarch64] #500 z3: install check OK
2023-May-04 12:06:06 :: [ppc64le] #500 python3-module-z3: install check OK
	armh: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib/cmake
2023-May-04 12:06:07 :: [armh] #500 libz3-devel: install check OK
2023-May-04 12:06:13 :: [ppc64le] #500 z3: install check OK
2023-May-04 12:06:16 :: [armh] #500 libz3-devel-docs: install check OK
2023-May-04 12:06:19 :: [aarch64] #500 z3-debuginfo: install check OK
2023-May-04 12:06:29 :: [armh] #500 python3-module-z3: install check OK
2023-May-04 12:06:33 :: [ppc64le] #500 z3-debuginfo: install check OK
2023-May-04 12:06:39 :: [armh] #500 z3: install check OK
2023-May-04 12:07:03 :: [armh] #500 z3-debuginfo: install check OK
2023-May-04 12:07:05 :: [x86_64-i586] plan: #2 +2 -2 =10765
2023-May-04 12:07:27 :: [x86_64-i586] arepo build OK
2023-May-04 12:07:46 :: [x86_64-i586] generated apt indices
2023-May-04 12:07:48 :: [x86_64-i586] created next repo
2023-May-04 12:08:00 :: [x86_64-i586] dependencies check OK
2023-May-04 12:08:02 :: gears inheritance check OK
2023-May-04 12:08:02 :: srpm inheritance check OK
girar-check-perms: access to z3 ALLOWED for kotopesutility: project leader welcomes random builders
check-subtask-perms: #500: z3: allowed for kotopesutility
2023-May-04 12:08:03 :: acl check OK
2023-May-04 12:08:36 :: created contents_index files
2023-May-04 12:08:54 :: created hash files: aarch64 armh i586 noarch ppc64le src x86_64-i586 x86_64
2023-May-04 12:08:58 :: task #318931 for sisyphus TESTED