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

Girar awaiter (kotopesutility) girar-builder at altlinux.org
Fri Apr 21 21:15:17 MSK 2023


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

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #400  z3       7:59  11:12  5:21     7:18    4:19

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


More information about the Sisyphus-incominger mailing list