https://git.altlinux.org/tasks/334708/logs/events.4.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#400 cbmc 9:45 16:40 7:57 7:40 5:07
2023-Nov-20 10:28:08 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-20
10:28:06
2023-Nov-20 10:28:09 :: [aarch64] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [armh] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [x86_64] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [ppc64le] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [i586] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:33:16 :: [x86_64] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:35:49 :: [ppc64le] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:36:06 :: [i586] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:37:54 :: [aarch64] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:44:49 :: [armh] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:45:22 :: #400: cbmc.git 5.95.1-alt1: build check OK
2023-Nov-20 10:45:24 :: build check OK
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-20 10:45:27.509806263 +0000
+++ cbmc-5.95.1-alt1.i586.rpm.share 2023-11-20 10:45:30.052828530 +0000
@@ -17,3 +17,2 @@
/usr/share/man/man1/goto-synthesizer.1.xz 100644 xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz 100644 xz compressed data
/usr/share/man/man1/symtab2gb.1.xz 100644 xz compressed data
warning (#400): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-20 10:47:31.598829706 +0000
+++ cbmc-5.95.1-alt1.aarch64.rpm.share 2023-11-20 10:47:33.185839662 +0000
@@ -17,3 +17,2 @@
/usr/share/man/man1/goto-synthesizer.1.xz 100644 xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz 100644 xz compressed data
/usr/share/man/man1/symtab2gb.1.xz 100644 xz compressed data
warning (#400): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-20 10:48:28.851188866 +0000
+++ cbmc-5.95.1-alt1.ppc64le.rpm.share 2023-11-20 10:48:30.590199775 +0000
@@ -17,3 +17,2 @@
/usr/share/man/man1/goto-synthesizer.1.xz 100644 xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz 100644 xz compressed data
/usr/share/man/man1/symtab2gb.1.xz 100644 xz compressed data
warning (#400): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-20 10:49:25.238608686 +0000
+++ cbmc-5.95.1-alt1.armh.rpm.share 2023-11-20 10:49:26.614621314 +0000
@@ -17,3 +17,2 @@
/usr/share/man/man1/goto-synthesizer.1.xz 100644 xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz 100644 xz compressed data
/usr/share/man/man1/symtab2gb.1.xz 100644 xz compressed data
warning (#400): non-identical /usr/share part
2023-Nov-20 10:50:21 :: noarch check OK
2023-Nov-20 10:50:24 :: plan: src +1 -0 =18805, aarch64 +3 -0 =31654, armh +3
-0 =29491, i586 +3 -0 =31483, ppc64le +3 -0 =30963, x86_64 +3 -0 =32549
2023-Nov-20 10:51:13 :: patched apt indices
2023-Nov-20 10:51:25 :: created next repo
2023-Nov-20 10:51:35 :: duplicate provides check OK
2023-Nov-20 10:52:11 :: dependencies check OK
2023-Nov-20 10:52:54 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
x86_64: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Nov-20 10:53:08 :: [x86_64] #400 cbmc: install check OK
i586: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Nov-20 10:53:08 :: [i586] #400 cbmc: install check OK
aarch64: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Nov-20 10:53:18 :: [aarch64] #400 cbmc: install check OK
ppc64le: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Nov-20 10:53:20 :: [ppc64le] #400 cbmc: install check OK
armh: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Nov-20 10:53:29 :: [armh] #400 cbmc: install check OK
2023-Nov-20 10:53:45 :: [x86_64] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:53:51 :: [i586] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:54:03 :: [x86_64] #400 libcprover-devel: install check OK
2023-Nov-20 10:54:10 :: [i586] #400 libcprover-devel: install check OK
2023-Nov-20 10:54:16 :: [aarch64] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:54:33 :: [ppc64le] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:54:50 :: [aarch64] #400 libcprover-devel: install check OK
2023-Nov-20 10:54:55 :: [armh] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:55:14 :: [ppc64le] #400 libcprover-devel: install check OK
2023-Nov-20 10:55:43 :: [armh] #400 libcprover-devel: install check OK
2023-Nov-20 10:55:44 :: [x86_64-i586] plan: #1 +1 -0 =10662
2023-Nov-20 10:56:29 :: [x86_64-i586] arepo build OK
2023-Nov-20 10:56:45 :: [x86_64-i586] generated apt indices
2023-Nov-20 10:56:47 :: [x86_64-i586] created next repo
2023-Nov-20 10:56:56 :: [x86_64-i586] dependencies check OK
2023-Nov-20 10:56:57 :: gears inheritance check OK
2023-Nov-20 10:56:57 :: srpm inheritance check OK
girar-check-perms: access to cbmc ALLOWED for vt: project `cbmc' is not listed
in the acl file for repository `sisyphus', and the policy for such projects in
`sisyphus' is to allow
check-subtask-perms: #400: cbmc: allowed for vt
2023-Nov-20 10:56:58 :: acl check OK
2023-Nov-20 10:57:09 :: created contents_index files
2023-Nov-20 10:57:22 :: created hash files: aarch64 armh i586 ppc64le src
x86_64-i586 x86_64
2023-Nov-20 10:57:25 :: task #334708 for sisyphus TESTED
_______________________________________________
Sisyphus-incominger mailing list
Sisyphus-incominger@lists.altlinux.org
https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
