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
_______________________________________________
Sisyphus-incominger mailing list
[email protected]
https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
