[#356757] DONE (try 3) z3.git=4.13.0-alt2
Girar pender (vt)
girar-builder at altlinux.org
Fri Sep 13 20:54:46 MSK 2024
https://git.altlinux.org/tasks/archive/done/_348/356757/logs/events.3.2.log
2024-Sep-13 17:46:37 :: task #356757 for sisyphus resumed by vt:
#100 removed
#200 build 4.13.0-alt2 from /people/vt/packages/z3.git fetched at 2024-Sep-13 17:13:34
2024-Sep-13 17:46:40 :: [aarch64] #200 z3.git 4.13.0-alt2: build start
2024-Sep-13 17:46:40 :: [ppc64le] #200 z3.git 4.13.0-alt2: build start
2024-Sep-13 17:46:40 :: [i586] #200 z3.git 4.13.0-alt2: build start
2024-Sep-13 17:46:40 :: [x86_64] #200 z3.git 4.13.0-alt2: build start
2024-Sep-13 17:46:53 :: [i586] #200 z3.git 4.13.0-alt2: build OK (cached)
2024-Sep-13 17:46:53 :: [x86_64] #200 z3.git 4.13.0-alt2: build OK (cached)
2024-Sep-13 17:47:00 :: [aarch64] #200 z3.git 4.13.0-alt2: build OK (cached)
2024-Sep-13 17:47:01 :: [ppc64le] #200 z3.git 4.13.0-alt2: build OK (cached)
2024-Sep-13 17:47:36 :: #200: z3.git 4.13.0-alt2: build check OK
2024-Sep-13 17:47:38 :: build check OK
--- libz3-devel-docs-4.13.0-alt2.x86_64.rpm.share 2024-09-13 17:47:58.545244695 +0000
+++ libz3-devel-docs-4.13.0-alt2.i586.rpm.share 2024-09-13 17:47:58.948249105 +0000
@@ -376,7 +376,7 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
+/usr/share/doc/Z3/api/html/dir_0e9545ad344cdb2675a28090cd25e4fa.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_1701edcde1dc24ee90b0d6eda2519345.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_53449c7291ece328bc32ccd504db0559.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_f1ec69eaf6cbd5274a63d041ef61ce7d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doc.svg 100644 SVG Scalable Vector Graphics image
warning (#200): non-identical /usr/share part
--- libz3-devel-docs-4.13.0-alt2.x86_64.rpm.share 2024-09-13 17:48:26.777553600 +0000
+++ libz3-devel-docs-4.13.0-alt2.aarch64.rpm.share 2024-09-13 17:48:27.189558108 +0000
@@ -377,6 +377,6 @@
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_53449c7291ece328bc32ccd504db0559.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_4f2dbaa28de44e3dfe159199c23c4f24.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_8b8a026ca35ca1b0e86faed46345112d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_f1ec69eaf6cbd5274a63d041ef61ce7d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doc.svg 100644 SVG Scalable Vector Graphics image
warning (#200): non-identical /usr/share part
--- libz3-devel-docs-4.13.0-alt2.x86_64.rpm.share 2024-09-13 17:48:45.443757836 +0000
+++ libz3-devel-docs-4.13.0-alt2.ppc64le.rpm.share 2024-09-13 17:48:45.884762662 +0000
@@ -376,7 +376,7 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
+/usr/share/doc/Z3/api/html/dir_36a7084b8c33177f144014b4956d19e1.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_53449c7291ece328bc32ccd504db0559.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_f1ec69eaf6cbd5274a63d041ef61ce7d.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_f899ab57179c1c3edf5dead873b37de6.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doc.svg 100644 SVG Scalable Vector Graphics image
warning (#200): non-identical /usr/share part
--- libz3-devel-docs-4.13.0-alt2.i586.rpm.share 2024-09-13 17:48:54.854860808 +0000
+++ libz3-devel-docs-4.13.0-alt2.aarch64.rpm.share 2024-09-13 17:48:54.856860830 +0000
@@ -376,6 +376,6 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
-/usr/share/doc/Z3/api/html/dir_0e9545ad344cdb2675a28090cd25e4fa.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_1701edcde1dc24ee90b0d6eda2519345.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_4f2dbaa28de44e3dfe159199c23c4f24.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_8b8a026ca35ca1b0e86faed46345112d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
warning (#200): non-identical /usr/share part
--- libz3-devel-docs-4.13.0-alt2.i586.rpm.share 2024-09-13 17:48:54.894861246 +0000
+++ libz3-devel-docs-4.13.0-alt2.ppc64le.rpm.share 2024-09-13 17:48:54.897861279 +0000
@@ -376,4 +376,3 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
-/usr/share/doc/Z3/api/html/dir_0e9545ad344cdb2675a28090cd25e4fa.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_1701edcde1dc24ee90b0d6eda2519345.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_36a7084b8c33177f144014b4956d19e1.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
@@ -381,2 +380,3 @@
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_f899ab57179c1c3edf5dead873b37de6.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doc.svg 100644 SVG Scalable Vector Graphics image
warning (#200): non-identical /usr/share part
--- libz3-devel-docs-4.13.0-alt2.aarch64.rpm.share 2024-09-13 17:48:54.936861705 +0000
+++ libz3-devel-docs-4.13.0-alt2.ppc64le.rpm.share 2024-09-13 17:48:54.939861738 +0000
@@ -376,7 +376,7 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
+/usr/share/doc/Z3/api/html/dir_36a7084b8c33177f144014b4956d19e1.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_4f2dbaa28de44e3dfe159199c23c4f24.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_8b8a026ca35ca1b0e86faed46345112d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_f899ab57179c1c3edf5dead873b37de6.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doc.svg 100644 SVG Scalable Vector Graphics image
warning (#200): non-identical /usr/share part
warning (#200): libz3-devel-docs-4.13.0-alt2.x86_64.rpm should be .noarch.rpm
2024-Sep-13 17:48:57 :: noarch check OK
2024-Sep-13 17:49:00 :: plan: src +1 -1 =19822, aarch64 +6 -6 =33850, i586 +6 -6 =33243, noarch +1 -1 =20581, ppc64le +6 -6 =32588, x86_64 +6 -6 =34735
#200 z3 4.13.0-alt1 -> 4.13.0-alt2
Tue Sep 03 2024 Vitaly Chikunov <vt at altlinux> 4.13.0-alt2
- spec: Enable additional post-build QA checks.
- spec: Enable LFS on 32-bit architectures.
- spec: check: Run test-z3.
2024-Sep-13 17:49:45 :: patched apt indices
2024-Sep-13 17:49:56 :: created next repo
2024-Sep-13 17:50:06 :: duplicate provides check OK
2024-Sep-13 17:50:45 :: dependencies check OK
2024-Sep-13 17:51:10 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
2024-Sep-13 17:51:23 :: [i586] #200 libz3: install check OK (cached)
2024-Sep-13 17:51:23 :: [x86_64] #200 libz3: install check OK (cached)
2024-Sep-13 17:51:27 :: [i586] #200 libz3-debuginfo: install check OK (cached)
2024-Sep-13 17:51:28 :: [x86_64] #200 libz3-debuginfo: install check OK (cached)
2024-Sep-13 17:51:31 :: [aarch64] #200 libz3: install check OK (cached)
i586: libz3-devel=4.13.0-alt2 post-install unowned files:
/usr/lib/cmake
2024-Sep-13 17:51:32 :: [i586] #200 libz3-devel: install check OK (cached)
2024-Sep-13 17:51:32 :: [ppc64le] #200 libz3: install check OK (cached)
x86_64: libz3-devel=4.13.0-alt2 post-install unowned files:
/usr/lib64/cmake
2024-Sep-13 17:51:33 :: [x86_64] #200 libz3-devel: install check OK (cached)
2024-Sep-13 17:51:36 :: [i586] #200 libz3-devel-docs: install check OK (cached)
2024-Sep-13 17:51:37 :: [x86_64] #200 libz3-devel-docs: install check OK (cached)
2024-Sep-13 17:51:39 :: [aarch64] #200 libz3-debuginfo: install check OK (cached)
2024-Sep-13 17:51:40 :: [i586] #200 python3-module-z3: install check OK (cached)
2024-Sep-13 17:51:41 :: [ppc64le] #200 libz3-debuginfo: install check OK (cached)
2024-Sep-13 17:51:42 :: [x86_64] #200 python3-module-z3: install check OK (cached)
2024-Sep-13 17:51:45 :: [i586] #200 z3: install check OK (cached)
2024-Sep-13 17:51:46 :: [x86_64] #200 z3: install check OK (cached)
aarch64: libz3-devel=4.13.0-alt2 post-install unowned files:
/usr/lib64/cmake
2024-Sep-13 17:51:47 :: [aarch64] #200 libz3-devel: install check OK (cached)
2024-Sep-13 17:51:49 :: [i586] #200 z3-debuginfo: install check OK (cached)
ppc64le: libz3-devel=4.13.0-alt2 post-install unowned files:
/usr/lib64/cmake
2024-Sep-13 17:51:50 :: [ppc64le] #200 libz3-devel: install check OK (cached)
2024-Sep-13 17:51:51 :: [x86_64] #200 z3-debuginfo: install check OK (cached)
2024-Sep-13 17:51:54 :: [aarch64] #200 libz3-devel-docs: install check OK (cached)
2024-Sep-13 17:51:58 :: [ppc64le] #200 libz3-devel-docs: install check OK (cached)
2024-Sep-13 17:52:02 :: [aarch64] #200 python3-module-z3: install check OK (cached)
2024-Sep-13 17:52:07 :: [ppc64le] #200 python3-module-z3: install check OK (cached)
2024-Sep-13 17:52:09 :: [aarch64] #200 z3: install check OK (cached)
2024-Sep-13 17:52:16 :: [ppc64le] #200 z3: install check OK (cached)
2024-Sep-13 17:52:17 :: [aarch64] #200 z3-debuginfo: install check OK (cached)
2024-Sep-13 17:52:25 :: [ppc64le] #200 z3-debuginfo: install check OK (cached)
2024-Sep-13 17:52:27 :: [x86_64-i586] plan: #2 +2 -2 =11300
2024-Sep-13 17:53:05 :: [x86_64-i586] arepo build OK
2024-Sep-13 17:53:21 :: [x86_64-i586] generated apt indices
2024-Sep-13 17:53:22 :: [x86_64-i586] created next repo
2024-Sep-13 17:53:34 :: [x86_64-i586] dependencies check OK
2024-Sep-13 17:53:36 :: gears inheritance check OK
2024-Sep-13 17:53:36 :: srpm inheritance check OK
girar-check-perms: access to z3 ALLOWED for vt: project leader welcomes random builders
check-subtask-perms: #200: z3: allowed for vt
2024-Sep-13 17:53:37 :: acl check OK
2024-Sep-13 17:53:58 :: created contents_index files
2024-Sep-13 17:54:08 :: created hash files: aarch64 i586 noarch ppc64le src x86_64-i586 x86_64
2024-Sep-13 17:54:11 :: task #356757 for sisyphus TESTED
2024-Sep-13 17:54:12 :: task is ready for commit
2024-Sep-13 17:54:17 :: repo clone OK
2024-Sep-13 17:54:18 :: packages update OK
2024-Sep-13 17:54:29 :: [x86_64 i586 aarch64 ppc64le noarch] update OK
2024-Sep-13 17:54:30 :: [x86_64-i586] update OK
2024-Sep-13 17:54:30 :: repo update OK
2024-Sep-13 17:54:45 :: repo save OK
2024-Sep-13 17:54:45 :: src index update OK
2024-Sep-13 17:54:45 :: updated /gears/z/z3.git branch `sisyphus'
2024-Sep-13 17:54:46 :: gears update OK
2024-Sep-13 17:54:46 :: task #356757 for sisyphus DONE
More information about the Sisyphus-incominger
mailing list