[#367440] DONE z3.git=4.13.4-alt1
Girar pender (grenka)
girar-builder at altlinux.org
Mon Dec 30 16:42:11 MSK 2024
https://git.altlinux.org/tasks/archive/done/_358/367440/logs/events.1.2.log
https://packages.altlinux.org/tasks/367440
subtask name aarch64 i586 ppc64le x86_64
#100 z3 13:46 9:05 11:21 7:28
2024-Dec-30 13:34:43 :: task #367440 for sisyphus started by grenka:
#100 build 4.13.4-alt1 from /people/grenka/packages/z3.git fetched at 2024-Dec-30 13:12:39
2024-Dec-30 13:34:45 :: [i586] #100 z3.git 4.13.4-alt1: build start
2024-Dec-30 13:34:45 :: [aarch64] #100 z3.git 4.13.4-alt1: build start
2024-Dec-30 13:34:45 :: [x86_64] #100 z3.git 4.13.4-alt1: build start
2024-Dec-30 13:34:45 :: [ppc64le] #100 z3.git 4.13.4-alt1: build start
2024-Dec-30 13:34:57 :: [i586] #100 z3.git 4.13.4-alt1: build OK (cached)
2024-Dec-30 13:34:58 :: [x86_64] #100 z3.git 4.13.4-alt1: build OK (cached)
2024-Dec-30 13:35:05 :: [aarch64] #100 z3.git 4.13.4-alt1: build OK (cached)
2024-Dec-30 13:35:07 :: [ppc64le] #100 z3.git 4.13.4-alt1: build OK (cached)
2024-Dec-30 13:35:43 :: #100: z3.git 4.13.4-alt1: build check OK
2024-Dec-30 13:35:44 :: build check OK
--- libz3-devel-docs-4.13.4-alt1.x86_64.rpm.share 2024-12-30 13:36:07.281871255 +0000
+++ libz3-devel-docs-4.13.4-alt1.i586.rpm.share 2024-12-30 13:36:07.697875061 +0000
@@ -372,7 +372,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 (#100): non-identical /usr/share part
--- libz3-devel-docs-4.13.4-alt1.x86_64.rpm.share 2024-12-30 13:36:39.737168182 +0000
+++ libz3-devel-docs-4.13.4-alt1.aarch64.rpm.share 2024-12-30 13:36:40.215172555 +0000
@@ -373,6 +373,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 (#100): non-identical /usr/share part
--- libz3-devel-docs-4.13.4-alt1.x86_64.rpm.share 2024-12-30 13:36:59.820351918 +0000
+++ libz3-devel-docs-4.13.4-alt1.ppc64le.rpm.share 2024-12-30 13:37:00.296356273 +0000
@@ -372,7 +372,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 (#100): non-identical /usr/share part
--- libz3-devel-docs-4.13.4-alt1.i586.rpm.share 2024-12-30 13:37:10.743451851 +0000
+++ libz3-devel-docs-4.13.4-alt1.aarch64.rpm.share 2024-12-30 13:37:10.746451879 +0000
@@ -372,6 +372,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 (#100): non-identical /usr/share part
--- libz3-devel-docs-4.13.4-alt1.i586.rpm.share 2024-12-30 13:37:10.789452272 +0000
+++ libz3-devel-docs-4.13.4-alt1.ppc64le.rpm.share 2024-12-30 13:37:10.791452290 +0000
@@ -372,4 +372,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
@@ -377,2 +376,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 (#100): non-identical /usr/share part
--- libz3-devel-docs-4.13.4-alt1.aarch64.rpm.share 2024-12-30 13:37:10.833452675 +0000
+++ libz3-devel-docs-4.13.4-alt1.ppc64le.rpm.share 2024-12-30 13:37:10.836452702 +0000
@@ -372,7 +372,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 (#100): non-identical /usr/share part
warning (#100): libz3-devel-docs-4.13.4-alt1.x86_64.rpm should be .noarch.rpm
2024-Dec-30 13:37:13 :: noarch check OK
2024-Dec-30 13:37:15 :: plan: src +1 -1 =19964, aarch64 +6 -6 =34653, i586 +6 -6 =33687, noarch +1 -1 =20761, ppc64le +6 -6 =33234, x86_64 +6 -6 =35467
#100 z3 4.13.3-alt1 -> 4.13.4-alt1
Mon Dec 23 2024 Grigory Ustinov <grenka at altlinux> 4.13.4-alt1
- Automatically updated to 4.13.4.
2024-Dec-30 13:38:03 :: patched apt indices
2024-Dec-30 13:38:14 :: created next repo
2024-Dec-30 13:38:24 :: duplicate provides check OK
2024-Dec-30 13:39:03 :: dependencies check OK
2024-Dec-30 13:39:04 :: [x86_64 i586 aarch64 ppc64le] no need to repeat ELF symbols check
2024-Dec-30 13:39:04 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
2024-Dec-30 13:39:16 :: [i586] #100 libz3: install check OK (cached)
2024-Dec-30 13:39:16 :: [x86_64] #100 libz3: install check OK (cached)
2024-Dec-30 13:39:20 :: [i586] #100 libz3-debuginfo: install check OK (cached)
2024-Dec-30 13:39:21 :: [x86_64] #100 libz3-debuginfo: install check OK (cached)
2024-Dec-30 13:39:24 :: [aarch64] #100 libz3: install check OK (cached)
i586: libz3-devel=4.13.4-alt1 post-install unowned files:
/usr/lib/cmake
2024-Dec-30 13:39:25 :: [i586] #100 libz3-devel: install check OK (cached)
2024-Dec-30 13:39:25 :: [ppc64le] #100 libz3: install check OK (cached)
x86_64: libz3-devel=4.13.4-alt1 post-install unowned files:
/usr/lib64/cmake
2024-Dec-30 13:39:26 :: [x86_64] #100 libz3-devel: install check OK (cached)
2024-Dec-30 13:39:29 :: [i586] #100 libz3-devel-docs: install check OK (cached)
2024-Dec-30 13:39:30 :: [x86_64] #100 libz3-devel-docs: install check OK (cached)
2024-Dec-30 13:39:32 :: [aarch64] #100 libz3-debuginfo: install check OK (cached)
2024-Dec-30 13:39:33 :: [i586] #100 python3-module-z3: install check OK (cached)
2024-Dec-30 13:39:34 :: [ppc64le] #100 libz3-debuginfo: install check OK (cached)
2024-Dec-30 13:39:34 :: [x86_64] #100 python3-module-z3: install check OK (cached)
2024-Dec-30 13:39:37 :: [i586] #100 z3: install check OK (cached)
2024-Dec-30 13:39:39 :: [x86_64] #100 z3: install check OK (cached)
aarch64: libz3-devel=4.13.4-alt1 post-install unowned files:
/usr/lib64/cmake
2024-Dec-30 13:39:40 :: [aarch64] #100 libz3-devel: install check OK (cached)
2024-Dec-30 13:39:41 :: [i586] #100 z3-debuginfo: install check OK (cached)
ppc64le: libz3-devel=4.13.4-alt1 post-install unowned files:
/usr/lib64/cmake
2024-Dec-30 13:39:42 :: [ppc64le] #100 libz3-devel: install check OK (cached)
2024-Dec-30 13:39:43 :: [x86_64] #100 z3-debuginfo: install check OK (cached)
2024-Dec-30 13:39:47 :: [aarch64] #100 libz3-devel-docs: install check OK (cached)
2024-Dec-30 13:39:51 :: [ppc64le] #100 libz3-devel-docs: install check OK (cached)
2024-Dec-30 13:39:55 :: [aarch64] #100 python3-module-z3: install check OK (cached)
2024-Dec-30 13:40:00 :: [ppc64le] #100 python3-module-z3: install check OK (cached)
2024-Dec-30 13:40:02 :: [aarch64] #100 z3: install check OK (cached)
2024-Dec-30 13:40:08 :: [ppc64le] #100 z3: install check OK (cached)
2024-Dec-30 13:40:10 :: [aarch64] #100 z3-debuginfo: install check OK (cached)
2024-Dec-30 13:40:17 :: [ppc64le] #100 z3-debuginfo: install check OK (cached)
2024-Dec-30 13:40:19 :: [x86_64-i586] plan: #0 +2 -2 =11513
2024-Dec-30 13:40:36 :: [x86_64-i586] generated apt indices
2024-Dec-30 13:40:37 :: [x86_64-i586] created next repo
2024-Dec-30 13:40:48 :: [x86_64-i586] dependencies check OK
2024-Dec-30 13:40:50 :: gears inheritance check OK
2024-Dec-30 13:40:50 :: srpm inheritance check OK
girar-check-perms: access to z3 ALLOWED for grenka: project leader welcomes random builders
check-subtask-perms: #100: z3: allowed for grenka
2024-Dec-30 13:40:50 :: acl check OK
2024-Dec-30 13:41:13 :: created contents_index files
2024-Dec-30 13:41:23 :: created hash files: aarch64 i586 noarch ppc64le src x86_64-i586 x86_64
2024-Dec-30 13:41:27 :: task #367440 for sisyphus TESTED
2024-Dec-30 13:41:28 :: task is ready for commit
2024-Dec-30 13:41:34 :: repo clone OK
2024-Dec-30 13:41:36 :: packages update OK
2024-Dec-30 13:41:50 :: [x86_64 i586 aarch64 ppc64le noarch] update OK
2024-Dec-30 13:41:50 :: [x86_64-i586] update OK
2024-Dec-30 13:41:50 :: repo update OK
2024-Dec-30 13:42:09 :: repo save OK
2024-Dec-30 13:42:09 :: src index update OK
2024-Dec-30 13:42:10 :: updated /gears/z/z3.git branch `sisyphus'
2024-Dec-30 13:42:11 :: gears update OK
2024-Dec-30 13:42:11 :: task #367440 for sisyphus DONE
More information about the Sisyphus-incominger
mailing list