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

Fri Apr 21 03:54:18 MSK 2023

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

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #200  z3       9:20  13:47  7:16     9:14    5:12

2023-Apr-21 00:31:17 :: test-only task #318931 for sisyphus resumed by kotopesutility:
#100 removed
#200 build 4.12.0-alt1 from /people/kotopesutility/packages/z3.git fetched at 2023-Apr-21 00:31:07
2023-Apr-21 00:31:19 :: [armh] #200 z3.git 4.12.0-alt1: build start
2023-Apr-21 00:31:19 :: [i586] #200 z3.git 4.12.0-alt1: build start
2023-Apr-21 00:31:19 :: [ppc64le] #200 z3.git 4.12.0-alt1: build start
2023-Apr-21 00:31:19 :: [aarch64] #200 z3.git 4.12.0-alt1: build start
2023-Apr-21 00:31:19 :: [x86_64] #200 z3.git 4.12.0-alt1: build start
2023-Apr-21 00:36:31 :: [x86_64] #200 z3.git 4.12.0-alt1: build OK
2023-Apr-21 00:38:35 :: [i586] #200 z3.git 4.12.0-alt1: build OK
2023-Apr-21 00:40:33 :: [ppc64le] #200 z3.git 4.12.0-alt1: build OK
2023-Apr-21 00:40:39 :: [aarch64] #200 z3.git 4.12.0-alt1: build OK
2023-Apr-21 00:45:06 :: [armh] #200 z3.git 4.12.0-alt1: build OK
2023-Apr-21 00:45:46 :: #200: z3.git 4.12.0-alt1: build check OK
2023-Apr-21 00:45:48 :: build check OK
2023-Apr-21 00:47:54 :: noarch check OK
2023-Apr-21 00:47:56 :: plan: src +1 -1 =18335, aarch64 +5 -5 =31348, armh +5 -5 =29289, i586 +5 -5 =31366, noarch +2 -2 =19133, ppc64le +5 -5 =30783, x86_64 +5 -5 =32299
#200 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-Apr-21 00:48:58 :: patched apt indices
2023-Apr-21 00:49:12 :: created next repo
2023-Apr-21 00:49:23 :: duplicate provides check OK
2023-Apr-21 00:50:09 :: dependencies check OK
2023-Apr-21 00:50:35 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
2023-Apr-21 00:50:49 :: [x86_64] #200 libz3: install check OK
2023-Apr-21 00:50:49 :: [i586] #200 libz3: install check OK
2023-Apr-21 00:50:56 :: [aarch64] #200 libz3: install check OK
2023-Apr-21 00:50:58 :: [ppc64le] #200 libz3: install check OK
2023-Apr-21 00:51:02 :: [x86_64] #200 libz3-debuginfo: install check OK
2023-Apr-21 00:51:04 :: [i586] #200 libz3-debuginfo: install check OK
	x86_64: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-Apr-21 00:51:06 :: [x86_64] #200 libz3-devel: install check OK
2023-Apr-21 00:51:07 :: [armh] #200 libz3: install check OK
	i586: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib/cmake
2023-Apr-21 00:51:09 :: [i586] #200 libz3-devel: install check OK
2023-Apr-21 00:51:10 :: [x86_64] #200 libz3-devel-docs: install check OK
2023-Apr-21 00:51:14 :: [i586] #200 libz3-devel-docs: install check OK
2023-Apr-21 00:51:14 :: [aarch64] #200 libz3-debuginfo: install check OK
2023-Apr-21 00:51:15 :: [x86_64] #200 python3-module-z3: install check OK
2023-Apr-21 00:51:19 :: [x86_64] #200 z3: install check OK
2023-Apr-21 00:51:19 :: [i586] #200 python3-module-z3: install check OK
	aarch64: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-Apr-21 00:51:20 :: [ppc64le] #200 libz3-debuginfo: install check OK
2023-Apr-21 00:51:21 :: [aarch64] #200 libz3-devel: install check OK
2023-Apr-21 00:51:24 :: [i586] #200 z3: install check OK
2023-Apr-21 00:51:26 :: [aarch64] #200 libz3-devel-docs: install check OK
	ppc64le: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-Apr-21 00:51:28 :: [ppc64le] #200 libz3-devel: install check OK
2023-Apr-21 00:51:32 :: [x86_64] #200 z3-debuginfo: install check OK
2023-Apr-21 00:51:34 :: [armh] #200 libz3-debuginfo: install check OK
2023-Apr-21 00:51:34 :: [aarch64] #200 python3-module-z3: install check OK
2023-Apr-21 00:51:35 :: [ppc64le] #200 libz3-devel-docs: install check OK
2023-Apr-21 00:51:40 :: [i586] #200 z3-debuginfo: install check OK
2023-Apr-21 00:51:41 :: [aarch64] #200 z3: install check OK
	armh: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib/cmake
2023-Apr-21 00:51:44 :: [armh] #200 libz3-devel: install check OK
2023-Apr-21 00:51:44 :: [ppc64le] #200 python3-module-z3: install check OK
2023-Apr-21 00:51:51 :: [ppc64le] #200 z3: install check OK
2023-Apr-21 00:51:53 :: [armh] #200 libz3-devel-docs: install check OK
2023-Apr-21 00:51:59 :: [aarch64] #200 z3-debuginfo: install check OK
2023-Apr-21 00:52:06 :: [armh] #200 python3-module-z3: install check OK
2023-Apr-21 00:52:14 :: [ppc64le] #200 z3-debuginfo: install check OK
2023-Apr-21 00:52:16 :: [armh] #200 z3: install check OK
2023-Apr-21 00:52:43 :: [armh] #200 z3-debuginfo: install check OK
2023-Apr-21 00:52:45 :: [x86_64-i586] plan: #2 +2 -2 =10750
2023-Apr-21 00:53:14 :: [x86_64-i586] arepo build OK
2023-Apr-21 00:53:29 :: [x86_64-i586] generated apt indices
2023-Apr-21 00:53:30 :: [x86_64-i586] created next repo
2023-Apr-21 00:53:41 :: [x86_64-i586] dependencies check OK
2023-Apr-21 00:53:42 :: gears inheritance check OK
2023-Apr-21 00:53:43 :: srpm inheritance check OK
girar-check-perms: access to z3 ALLOWED for kotopesutility: project leader welcomes random builders
check-subtask-perms: #200: z3: allowed for kotopesutility
2023-Apr-21 00:53:43 :: acl check OK
2023-Apr-21 00:54:04 :: created contents_index files
2023-Apr-21 00:54:15 :: created hash files: aarch64 armh i586 noarch ppc64le src x86_64-i586 x86_64
2023-Apr-21 00:54:18 :: task #318931 for sisyphus TESTED