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

Fri Apr 21 16:37:44 MSK 2023

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

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #300  z3      11:36  12:19  5:16     7:07    4:22

2023-Apr-21 13:17:35 :: test-only task #318931 for sisyphus resumed by kotopesutility:
#100 removed
#200 removed
#300 build 4.12.0-alt1 from /people/kotopesutility/packages/z3.git fetched at 2023-Apr-21 13:17:15
2023-Apr-21 13:17:37 :: [armh] #300 z3.git 4.12.0-alt1: build start
2023-Apr-21 13:17:37 :: [i586] #300 z3.git 4.12.0-alt1: build start
2023-Apr-21 13:17:37 :: [ppc64le] #300 z3.git 4.12.0-alt1: build start
2023-Apr-21 13:17:37 :: [aarch64] #300 z3.git 4.12.0-alt1: build start
2023-Apr-21 13:17:37 :: [x86_64] #300 z3.git 4.12.0-alt1: build start
2023-Apr-21 13:21:59 :: [x86_64] #300 z3.git 4.12.0-alt1: build OK
2023-Apr-21 13:22:53 :: [i586] #300 z3.git 4.12.0-alt1: build OK
2023-Apr-21 13:24:44 :: [ppc64le] #300 z3.git 4.12.0-alt1: build OK
2023-Apr-21 13:29:13 :: [aarch64] #300 z3.git 4.12.0-alt1: build OK
2023-Apr-21 13:29:56 :: [armh] #300 z3.git 4.12.0-alt1: build OK
2023-Apr-21 13:30:33 :: #300: z3.git 4.12.0-alt1: build check OK
2023-Apr-21 13:30:36 :: build check OK
2023-Apr-21 13:32:11 :: noarch check OK
2023-Apr-21 13:32:13 :: plan: src +1 -1 =18336, aarch64 +5 -5 =31356, armh +5 -5 =29291, i586 +5 -5 =31368, noarch +2 -2 =19129, ppc64le +5 -5 =30791, x86_64 +5 -5 =32307
#300 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 13:32:58 :: patched apt indices
2023-Apr-21 13:33:10 :: created next repo
2023-Apr-21 13:33:19 :: duplicate provides check OK
2023-Apr-21 13:33:53 :: dependencies check OK
2023-Apr-21 13:34:17 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
2023-Apr-21 13:34:29 :: [i586] #300 libz3: install check OK
2023-Apr-21 13:34:29 :: [x86_64] #300 libz3: install check OK
2023-Apr-21 13:34:39 :: [x86_64] #300 libz3-debuginfo: install check OK
2023-Apr-21 13:34:40 :: [ppc64le] #300 libz3: install check OK
2023-Apr-21 13:34:40 :: [i586] #300 libz3-debuginfo: install check OK
2023-Apr-21 13:34:42 :: [aarch64] #300 libz3: install check OK
	x86_64: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-Apr-21 13:34:42 :: [x86_64] #300 libz3-devel: install check OK
	i586: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib/cmake
2023-Apr-21 13:34:43 :: [i586] #300 libz3-devel: install check OK
2023-Apr-21 13:34:45 :: [x86_64] #300 libz3-devel-docs: install check OK
2023-Apr-21 13:34:46 :: [i586] #300 libz3-devel-docs: install check OK
2023-Apr-21 13:34:48 :: [armh] #300 libz3: install check OK
2023-Apr-21 13:34:50 :: [x86_64] #300 python3-module-z3: install check OK
2023-Apr-21 13:34:51 :: [i586] #300 python3-module-z3: install check OK
2023-Apr-21 13:34:54 :: [x86_64] #300 z3: install check OK
2023-Apr-21 13:34:54 :: [i586] #300 z3: install check OK
2023-Apr-21 13:34:59 :: [ppc64le] #300 libz3-debuginfo: install check OK
2023-Apr-21 13:35:00 :: [aarch64] #300 libz3-debuginfo: install check OK
2023-Apr-21 13:35:04 :: [x86_64] #300 z3-debuginfo: install check OK
2023-Apr-21 13:35:06 :: [i586] #300 z3-debuginfo: install check OK
	ppc64le: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-Apr-21 13:35:06 :: [ppc64le] #300 libz3-devel: install check OK
	aarch64: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib64/cmake
2023-Apr-21 13:35:08 :: [aarch64] #300 libz3-devel: install check OK
2023-Apr-21 13:35:12 :: [armh] #300 libz3-debuginfo: install check OK
2023-Apr-21 13:35:13 :: [ppc64le] #300 libz3-devel-docs: install check OK
2023-Apr-21 13:35:15 :: [aarch64] #300 libz3-devel-docs: install check OK
	armh: libz3-devel=4.12.0-alt1 post-install unowned files:
 /usr/lib/cmake
2023-Apr-21 13:35:22 :: [ppc64le] #300 python3-module-z3: install check OK
2023-Apr-21 13:35:22 :: [armh] #300 libz3-devel: install check OK
2023-Apr-21 13:35:25 :: [aarch64] #300 python3-module-z3: install check OK
2023-Apr-21 13:35:29 :: [ppc64le] #300 z3: install check OK
2023-Apr-21 13:35:31 :: [armh] #300 libz3-devel-docs: install check OK
2023-Apr-21 13:35:32 :: [aarch64] #300 z3: install check OK
2023-Apr-21 13:35:43 :: [armh] #300 python3-module-z3: install check OK
2023-Apr-21 13:35:49 :: [ppc64le] #300 z3-debuginfo: install check OK
2023-Apr-21 13:35:51 :: [aarch64] #300 z3-debuginfo: install check OK
2023-Apr-21 13:35:52 :: [armh] #300 z3: install check OK
2023-Apr-21 13:36:17 :: [armh] #300 z3-debuginfo: install check OK
2023-Apr-21 13:36:19 :: [x86_64-i586] plan: #2 +2 -2 =10751
2023-Apr-21 13:36:40 :: [x86_64-i586] arepo build OK
2023-Apr-21 13:36:55 :: [x86_64-i586] generated apt indices
2023-Apr-21 13:36:57 :: [x86_64-i586] created next repo
2023-Apr-21 13:37:07 :: [x86_64-i586] dependencies check OK
2023-Apr-21 13:37:08 :: gears inheritance check OK
2023-Apr-21 13:37:09 :: srpm inheritance check OK
girar-check-perms: access to z3 ALLOWED for kotopesutility: project leader welcomes random builders
check-subtask-perms: #300: z3: allowed for kotopesutility
2023-Apr-21 13:37:10 :: acl check OK
2023-Apr-21 13:37:30 :: created contents_index files
2023-Apr-21 13:37:40 :: created hash files: aarch64 armh i586 noarch ppc64le src x86_64-i586 x86_64
2023-Apr-21 13:37:44 :: task #318931 for sisyphus TESTED