[#316170] [test-only] FAILED z3.git=4.12.1-alt1

Girar awaiter (arseny) girar-builder at altlinux.org
Fri Mar 3 16:53:51 MSK 2023


https://git.altlinux.org/tasks/316170/logs/events.1.1.log

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #100  z3       8:16  12:16  5:33     7:35    4:24

2023-Mar-03 13:39:12 :: test-only task #316170 for sisyphus started by arseny:
#100 build 4.12.1-alt1 from /people/arseny/packages/z3.git fetched at 2023-Mar-03 13:39:10
2023-Mar-03 13:39:14 :: [armh] #100 z3.git 4.12.1-alt1: build start
2023-Mar-03 13:39:14 :: [x86_64] #100 z3.git 4.12.1-alt1: build start
2023-Mar-03 13:39:14 :: [ppc64le] #100 z3.git 4.12.1-alt1: build start
2023-Mar-03 13:39:14 :: [aarch64] #100 z3.git 4.12.1-alt1: build start
2023-Mar-03 13:39:14 :: [i586] #100 z3.git 4.12.1-alt1: build start
2023-Mar-03 13:43:38 :: [x86_64] #100 z3.git 4.12.1-alt1: build OK
2023-Mar-03 13:44:47 :: [i586] #100 z3.git 4.12.1-alt1: build OK
2023-Mar-03 13:46:49 :: [ppc64le] #100 z3.git 4.12.1-alt1: build OK
2023-Mar-03 13:47:30 :: [aarch64] #100 z3.git 4.12.1-alt1: build OK
2023-Mar-03 13:51:30 :: [armh] #100 z3.git 4.12.1-alt1: build OK
2023-Mar-03 13:52:12 :: #100: z3.git 4.12.1-alt1: build check OK
2023-Mar-03 13:52:14 :: build check OK
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.x86_64	2023-03-03 13:52:15.506043677 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.i586	2023-03-03 13:52:16.018048450 +0000
@@ -362,7 +362,7 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
+/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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.x86_64	2023-03-03 13:52:16.435052337 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.aarch64	2023-03-03 13:52:17.054058107 +0000
@@ -363,6 +363,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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.x86_64	2023-03-03 13:52:17.273060149 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.ppc64le	2023-03-03 13:52:17.819065239 +0000
@@ -362,7 +362,7 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
+/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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.x86_64	2023-03-03 13:52:18.034067243 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.armh	2023-03-03 13:52:18.613072640 +0000
@@ -363,6 +363,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_68267d1309a1af8e8297ef4c3efbcdba.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_af38bf6bf5198789fc5e1176e28541ce.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_bd9423a848a0c63fe90863198157d215.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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.i586	2023-03-03 13:52:18.827074635 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.aarch64	2023-03-03 13:52:18.829074654 +0000
@@ -362,6 +362,6 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
-/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
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.i586	2023-03-03 13:52:18.842074775 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.ppc64le	2023-03-03 13:52:18.843074785 +0000
@@ -362,4 +362,3 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
-/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
@@ -367,2 +366,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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.i586	2023-03-03 13:52:18.857074915 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.armh	2023-03-03 13:52:18.859074934 +0000
@@ -362,6 +362,6 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
-/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_68267d1309a1af8e8297ef4c3efbcdba.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_af38bf6bf5198789fc5e1176e28541ce.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_bd9423a848a0c63fe90863198157d215.html	100644	HTML document text
 /usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html	100644	HTML document text
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.aarch64	2023-03-03 13:52:18.873075064 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.ppc64le	2023-03-03 13:52:18.875075083 +0000
@@ -362,7 +362,7 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
+/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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.aarch64	2023-03-03 13:52:18.888075204 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.armh	2023-03-03 13:52:18.890075223 +0000
@@ -363,5 +363,5 @@
 /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_af38bf6bf5198789fc5e1176e28541ce.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_bd9423a848a0c63fe90863198157d215.html	100644	HTML document text
 /usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html	100644	HTML document text
error (#100): non-identical noarch packages
--- libz3-devel-docs-4.12.1-alt1.noarch.rpm.ppc64le	2023-03-03 13:52:18.904075353 +0000
+++ libz3-devel-docs-4.12.1-alt1.noarch.rpm.armh	2023-03-03 13:52:18.906075372 +0000
@@ -362,7 +362,7 @@
 /usr/share/doc/Z3/api/html/closed.png	100644	PNG image, non-interlaced
-/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_68267d1309a1af8e8297ef4c3efbcdba.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_af38bf6bf5198789fc5e1176e28541ce.html	100644	HTML document text
+/usr/share/doc/Z3/api/html/dir_bd9423a848a0c63fe90863198157d215.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.png	100644	PNG image, non-interlaced
error (#100): non-identical noarch packages
2023-Mar-03 13:53:51 :: noarch check FAILED
2023-Mar-03 13:53:51 :: task #316170 for sisyphus FAILED


More information about the Sisyphus-incominger mailing list