[#358254] DONE (try 2) cbmc.git=6.3.1-alt1
Girar pender (kotopesutility)
girar-builder at altlinux.org
Tue Sep 24 20:22:45 MSK 2024
https://git.altlinux.org/tasks/archive/done/_349/358254/logs/events.2.1.log
2024-Sep-24 17:14:50 :: task #358254 for sisyphus resumed by kotopesutility:
#100 build 6.3.1-alt1 from /people/kotopesutility/packages/cbmc.git fetched at 2024-Sep-24 15:55:24
2024-Sep-24 17:14:51 :: [aarch64] #100 cbmc.git 6.3.1-alt1: build start
2024-Sep-24 17:14:51 :: [i586] #100 cbmc.git 6.3.1-alt1: build start
2024-Sep-24 17:14:51 :: [x86_64] #100 cbmc.git 6.3.1-alt1: build start
2024-Sep-24 17:14:51 :: [ppc64le] #100 cbmc.git 6.3.1-alt1: build start
2024-Sep-24 17:15:04 :: [i586] #100 cbmc.git 6.3.1-alt1: build OK (cached)
2024-Sep-24 17:15:05 :: [x86_64] #100 cbmc.git 6.3.1-alt1: build OK (cached)
2024-Sep-24 17:15:12 :: [aarch64] #100 cbmc.git 6.3.1-alt1: build OK (cached)
2024-Sep-24 17:15:12 :: [ppc64le] #100 cbmc.git 6.3.1-alt1: build OK (cached)
2024-Sep-24 17:15:34 :: #100: cbmc.git 6.3.1-alt1: build check OK
2024-Sep-24 17:15:37 :: build check OK
--- cbmc-6.3.1-alt1.x86_64.rpm.share 2024-09-24 17:15:39.460621052 +0000
+++ cbmc-6.3.1-alt1.i586.rpm.share 2024-09-24 17:15:41.451633004 +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.3.1-alt1.x86_64.rpm.share 2024-09-24 17:17:01.941226611 +0000
+++ cbmc-6.3.1-alt1.aarch64.rpm.share 2024-09-24 17:17:03.587240589 +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.3.1-alt1.x86_64.rpm.share 2024-09-24 17:17:44.521588220 +0000
+++ cbmc-6.3.1-alt1.ppc64le.rpm.share 2024-09-24 17:17:46.283603183 +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
2024-Sep-24 17:18:28 :: noarch check OK
2024-Sep-24 17:18:31 :: plan: src +1 -1 =19828, aarch64 +2 -2 =33910, i586 +2 -2 =33281, ppc64le +2 -2 =32606, x86_64 +2 -2 =34790
#100 cbmc 6.1.1-alt1 -> 6.3.1-alt1
Tue Sep 24 2024 Daniel Zagaynov <kotopesutility at altlinux> 6.3.1-alt1
- Update to cbmc-6.3.1 (thx vt@).
2024-Sep-24 17:19:16 :: patched apt indices
2024-Sep-24 17:19:26 :: created next repo
2024-Sep-24 17:19:35 :: duplicate provides check OK
2024-Sep-24 17:20:13 :: dependencies check OK
2024-Sep-24 17:20:40 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
i586: cbmc=6.3.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2024-Sep-24 17:20:52 :: [i586] #100 cbmc: install check OK (cached)
x86_64: cbmc=6.3.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2024-Sep-24 17:20:52 :: [x86_64] #100 cbmc: install check OK (cached)
2024-Sep-24 17:20:58 :: [i586] #100 cbmc-debuginfo: install check OK (cached)
2024-Sep-24 17:20:58 :: [x86_64] #100 cbmc-debuginfo: install check OK (cached)
aarch64: cbmc=6.3.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2024-Sep-24 17:20:59 :: [aarch64] #100 cbmc: install check OK (cached)
ppc64le: cbmc=6.3.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2024-Sep-24 17:21:00 :: [ppc64le] #100 cbmc: install check OK (cached)
2024-Sep-24 17:21:09 :: [aarch64] #100 cbmc-debuginfo: install check OK (cached)
2024-Sep-24 17:21:12 :: [ppc64le] #100 cbmc-debuginfo: install check OK (cached)
2024-Sep-24 17:21:29 :: [x86_64-i586] generated apt indices
2024-Sep-24 17:21:29 :: [x86_64-i586] created next repo
2024-Sep-24 17:21:39 :: [x86_64-i586] dependencies check OK
2024-Sep-24 17:21:41 :: gears inheritance check OK
2024-Sep-24 17:21:42 :: srpm inheritance check OK
girar-check-perms: access to cbmc ALLOWED for kotopesutility: project leader welcomes random builders
check-subtask-perms: #100: cbmc: allowed for kotopesutility
2024-Sep-24 17:21:43 :: acl check OK
2024-Sep-24 17:21:54 :: created contents_index files
2024-Sep-24 17:22:06 :: created hash files: aarch64 i586 ppc64le src x86_64
2024-Sep-24 17:22:09 :: task #358254 for sisyphus TESTED
2024-Sep-24 17:22:10 :: task is ready for commit
2024-Sep-24 17:22:15 :: repo clone OK
2024-Sep-24 17:22:16 :: packages update OK
2024-Sep-24 17:22:25 :: [x86_64 i586 aarch64 ppc64le] update OK
2024-Sep-24 17:22:25 :: repo update OK
2024-Sep-24 17:22:41 :: repo save OK
2024-Sep-24 17:22:41 :: src index update OK
2024-Sep-24 17:22:41 :: updated /gears/c/cbmc.git branch `sisyphus'
2024-Sep-24 17:22:44 :: gears update OK
2024-Sep-24 17:22:44 :: task #358254 for sisyphus DONE
More information about the Sisyphus-incominger
mailing list