[#390132] TESTED cbmc.git=6.7.1-alt1

[Girar awaiter (vt)]

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

subtask  name  aarch64  i586  x86_64
   #100  cbmc     8:59  7:23    5:11

2025-Jul-18 13:08:49 :: test-only task #390132 for sisyphus started by vt:
#100 build 6.7.1-alt1 from /people/vt/packages/cbmc.git fetched at 2025-Jul-18 13:08:47
2025-Jul-18 13:08:51 :: [aarch64] #100 cbmc.git 6.7.1-alt1: build start
2025-Jul-18 13:08:51 :: [i586] #100 cbmc.git 6.7.1-alt1: build start
2025-Jul-18 13:08:51 :: [x86_64] #100 cbmc.git 6.7.1-alt1: build start
2025-Jul-18 13:14:02 :: [x86_64] #100 cbmc.git 6.7.1-alt1: build OK
2025-Jul-18 13:16:14 :: [i586] #100 cbmc.git 6.7.1-alt1: build OK
2025-Jul-18 13:17:50 :: [aarch64] #100 cbmc.git 6.7.1-alt1: build OK
2025-Jul-18 13:18:08 :: #100: cbmc.git 6.7.1-alt1: build check OK
2025-Jul-18 13:18:10 :: build check OK
--- cbmc-6.7.1-alt1.x86_64.rpm.share	2025-07-18 13:18:13.271668617 +0000
+++ cbmc-6.7.1-alt1.i586.rpm.share	2025-07-18 13:18:15.562691658 +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 (#100): non-identical /usr/share part
--- cbmc-6.7.1-alt1.x86_64.rpm.share	2025-07-18 13:19:52.154663095 +0000
+++ cbmc-6.7.1-alt1.aarch64.rpm.share	2025-07-18 13:19:54.315684829 +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 (#100): non-identical /usr/share part
2025-Jul-18 13:20:55 :: noarch check OK
2025-Jul-18 13:20:57 :: plan: src +1 -1 =20385, aarch64 +2 -2 =35416, i586 +2 -2 =34057, x86_64 +2 -2 =36238
#100 cbmc 6.7.0-alt1 -> 6.7.1-alt1
 Thu Jul 17 2025 Vitaly Chikunov <vt at altlinux> 6.7.1-alt1
 - Update to cbmc-6.7.1 (2025-07-09).
2025-Jul-18 13:21:57 :: patched apt indices
2025-Jul-18 13:22:07 :: created next repo
2025-Jul-18 13:22:18 :: duplicate provides check OK
2025-Jul-18 13:23:02 :: dependencies check OK
2025-Jul-18 13:23:55 :: [x86_64 i586 aarch64] ELF symbols check OK
2025-Jul-18 13:24:13 :: [i586] #100 cbmc: install check OK
2025-Jul-18 13:24:13 :: [x86_64] #100 cbmc: install check OK
2025-Jul-18 13:24:26 :: [aarch64] #100 cbmc: install check OK
2025-Jul-18 13:24:55 :: [x86_64] #100 cbmc-debuginfo: install check OK
2025-Jul-18 13:25:00 :: [i586] #100 cbmc-debuginfo: install check OK
2025-Jul-18 13:25:32 :: [aarch64] #100 cbmc-debuginfo: install check OK
2025-Jul-18 13:25:57 :: [x86_64-i586] generated apt indices
2025-Jul-18 13:25:57 :: [x86_64-i586] created next repo
2025-Jul-18 13:26:12 :: [x86_64-i586] dependencies check OK
2025-Jul-18 13:26:14 :: gears inheritance check OK
2025-Jul-18 13:26:14 :: srpm inheritance check OK
girar-check-perms: access to cbmc ALLOWED for vt: project leader
check-subtask-perms: #100: cbmc: allowed for vt
2025-Jul-18 13:26:15 :: acl check OK
2025-Jul-18 13:26:31 :: created contents_index files
2025-Jul-18 13:26:47 :: created hash files: aarch64 i586 src x86_64
2025-Jul-18 13:26:52 :: task #390132 for sisyphus TESTED