[#334708] DONE (try 10) cbmc.git=5.95.1-alt1

[Girar pender (vt)]

https://git.altlinux.org/tasks/archive/done/_326/334708/logs/events.10.2.log

2023-Dec-13 13:51:44 :: task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 removed
#1100 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Dec-12 16:07:42
2023-Dec-13 13:51:46 :: [armh] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [ppc64le] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [i586] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [aarch64] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [x86_64] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:56 :: [i586] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:51:56 :: [x86_64] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:04 :: [aarch64] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:06 :: [ppc64le] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:14 :: [armh] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:39 :: #1100: cbmc.git 5.95.1-alt1: build check OK
2023-Dec-13 13:52:40 :: build check OK
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-12-13 13:52:43.076892691 +0000
+++ cbmc-5.95.1-alt1.i586.rpm.share	2023-12-13 13:52:45.023913723 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-12-13 13:54:04.784775308 +0000
+++ cbmc-5.95.1-alt1.aarch64.rpm.share	2023-12-13 13:54:06.348792202 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-12-13 13:54:43.645175167 +0000
+++ cbmc-5.95.1-alt1.ppc64le.rpm.share	2023-12-13 13:54:45.355190882 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-12-13 13:55:23.035537168 +0000
+++ cbmc-5.95.1-alt1.armh.rpm.share	2023-12-13 13:55:24.351549262 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
2023-Dec-13 13:56:03 :: noarch check OK
2023-Dec-13 13:56:06 :: plan: src +1 -0 =18845, aarch64 +2 -0 =31751, armh +2 -0 =29531, i586 +2 -0 =31431, ppc64le +2 -0 =30927, x86_64 +2 -0 =32668
2023-Dec-13 13:56:51 :: patched apt indices
2023-Dec-13 13:57:03 :: created next repo
2023-Dec-13 13:57:12 :: duplicate provides check OK
2023-Dec-13 13:57:48 :: dependencies check OK
2023-Dec-13 13:58:12 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
	i586: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Dec-13 13:58:22 :: [i586] #1100 cbmc: install check OK (cached)
	x86_64: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Dec-13 13:58:22 :: [x86_64] #1100 cbmc: install check OK (cached)
2023-Dec-13 13:58:26 :: [i586] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:58:27 :: [x86_64] #1100 cbmc-debuginfo: install check OK (cached)
	aarch64: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Dec-13 13:58:30 :: [aarch64] #1100 cbmc: install check OK (cached)
	ppc64le: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Dec-13 13:58:31 :: [ppc64le] #1100 cbmc: install check OK (cached)
	armh: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Dec-13 13:58:38 :: [armh] #1100 cbmc: install check OK (cached)
2023-Dec-13 13:58:39 :: [aarch64] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:58:42 :: [ppc64le] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:58:53 :: [armh] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:59:11 :: [x86_64-i586] generated apt indices
2023-Dec-13 13:59:11 :: [x86_64-i586] created next repo
2023-Dec-13 13:59:20 :: [x86_64-i586] dependencies check OK
2023-Dec-13 13:59:21 :: gears inheritance check OK
2023-Dec-13 13:59:21 :: 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: #1100: cbmc: allowed for vt
2023-Dec-13 13:59:22 :: acl check OK
2023-Dec-13 13:59:34 :: created contents_index files
2023-Dec-13 13:59:46 :: created hash files: aarch64 armh i586 ppc64le src x86_64
2023-Dec-13 13:59:48 :: task #334708 for sisyphus TESTED
2023-Dec-13 13:59:49 :: task is ready for commit
2023-Dec-13 13:59:55 :: repo clone OK
2023-Dec-13 13:59:57 :: packages update OK
2023-Dec-13 14:00:07 :: [x86_64 i586 aarch64 ppc64le armh] update OK
2023-Dec-13 14:00:07 :: repo update OK
2023-Dec-13 14:00:25 :: repo save OK
2023-Dec-13 14:00:25 :: src index update OK
2023-Dec-13 14:00:30 :: created /gears/c/cbmc.git branch `sisyphus'
2023-Dec-13 14:00:33 :: gears update OK
2023-Dec-13 14:00:33 :: ACL for new project `cbmc' assigned to user `vt'
2023-Dec-13 14:00:33 :: task #334708 for sisyphus DONE