From: "Girar awaiter (vt)" <girar-builder@altlinux.org>
To: Vitaly Chikunov <vt@altlinux.org>
Cc: sisyphus-incominger@lists.altlinux.org,
girar-builder-sisyphus@altlinux.org
Subject: [#405447] [test-only] FAILED frama-c.git=32.0-alt1
Date: Sun, 18 Jan 2026 16:58:55 +0000
Message-ID: <girar.task.405447.1.1@gyle.mskdc.altlinux.org> (raw)
https://git.altlinux.org/tasks/405447/logs/events.1.1.log
https://packages.altlinux.org/tasks/405447
subtask name aarch64 i586 x86_64
#100 frama-c 12:32 5:48 7:06
2026-Jan-18 16:42:40 :: test-only task #405447 for sisyphus started by vt:
#100 build 32.0-alt1 from /people/vt/packages/frama-c.git fetched at 2026-Jan-18 16:42:38
2026-Jan-18 16:42:41 :: [i586] #100 frama-c.git 32.0-alt1: build start
2026-Jan-18 16:42:41 :: [aarch64] #100 frama-c.git 32.0-alt1: build start
2026-Jan-18 16:42:41 :: [x86_64] #100 frama-c.git 32.0-alt1: build start
2026-Jan-18 16:48:29 :: [i586] #100 frama-c.git 32.0-alt1: build OK
2026-Jan-18 16:49:47 :: [x86_64] #100 frama-c.git 32.0-alt1: build OK
2026-Jan-18 16:55:13 :: [aarch64] #100 frama-c.git 32.0-alt1: build OK
2026-Jan-18 16:55:21 :: 100: build check OK
2026-Jan-18 16:55:22 :: build check OK
2026-Jan-18 16:55:29 :: #100: frama-c.git 32.0-alt1: version check OK
2026-Jan-18 16:55:29 :: build version check OK
2026-Jan-18 16:56:16 :: noarch check OK
2026-Jan-18 16:56:18 :: plan: src +1 -0 =21480, aarch64 +2 -0 =38013, i586 +2 -0 =36022, x86_64 +2 -0 =39017
2026-Jan-18 16:57:05 :: patched apt indices
2026-Jan-18 16:57:14 :: created next repo
2026-Jan-18 16:57:24 :: duplicate provides check OK
2026-Jan-18 16:58:03 :: dependencies check OK
x86_64: NEW bad_elf_symbols detected:
frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__StoreMap.Make_23
frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__UnionFindOverStore.Make_5
frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_388
frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_389
frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_390
frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_391
x86_64: old bad_elf_symbols resolved:
ocaml-dune-site-3.20.2-alt1.x86_64.rpm /usr/lib64/ocaml/dune-site/dune_site.cmxs U camlDune_site__Dune_site_data
ocaml-dune-site-3.20.2-alt1.x86_64.rpm /usr/lib64/ocaml/dune-site/plugins/dune_site_plugins.cmxs U camlDune_site_plugins__Dune_site_plugins_data
aarch64: NEW bad_elf_symbols detected:
frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__StoreMap.Make_23
frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__UnionFindOverStore.Make_5
frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_388
frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_389
frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_390
frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_391
aarch64: old bad_elf_symbols resolved:
ocaml-dune-site-3.20.2-alt1.aarch64.rpm /usr/lib64/ocaml/dune-site/dune_site.cmxs U camlDune_site__Dune_site_data
ocaml-dune-site-3.20.2-alt1.aarch64.rpm /usr/lib64/ocaml/dune-site/plugins/dune_site_plugins.cmxs U camlDune_site_plugins__Dune_site_plugins_data
2026-Jan-18 16:58:54 :: [x86_64 i586 aarch64] ELF symbols check FAILED
2026-Jan-18 16:58:55 :: task #405447 for sisyphus FAILED
reply other threads:[~2026-01-18 16:58 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=girar.task.405447.1.1@gyle.mskdc.altlinux.org \
--to=girar-builder@altlinux.org \
--cc=devel@lists.altlinux.org \
--cc=girar-builder-sisyphus@altlinux.org \
--cc=sisyphus-incominger@lists.altlinux.org \
--cc=vt@altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git