[#369889] [test-only] FAILED (try 3) ppx_deriving.git=6.0.3-alt1 ppx_deriving_yojson.git=3.9.1-alt1 ...

[Girar awaiter (vt)]

https://git.altlinux.org/tasks/369889/logs/events.3.1.log
https://packages.altlinux.org/tasks/369889

subtask  name  aarch64    i586  ppc64le  x86_64
   #300  why3     3:25  failed   failed    2:03

2025-Jan-19 01:15:06 :: test-only task #369889 for sisyphus resumed by vt:
#100 build 6.0.3-alt1 from /people/vt/packages/ppx_deriving.git fetched at 2025-Jan-18 04:28:20
#200 build 3.9.1-alt1 from /people/vt/packages/ppx_deriving_yojson.git fetched at 2025-Jan-18 05:00:29
#300 build 1.8.0-alt1 from /people/vt/packages/why3.git fetched at 2025-Jan-19 01:15:04
2025-Jan-19 01:15:06 :: created build repo
2025-Jan-19 01:15:08 :: [x86_64] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:15:08 :: [i586] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:15:08 :: [ppc64le] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:15:08 :: [aarch64] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:15:25 :: [i586] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:15:25 :: [i586] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:15:26 :: [x86_64] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:15:26 :: [x86_64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:15:38 :: [i586] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:15:38 :: [i586] #300 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:15:40 :: [x86_64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:15:40 :: [x86_64] #300 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:15:41 :: [aarch64] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:15:42 :: [aarch64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:15:50 :: [ppc64le] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:15:50 :: [ppc64le] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:16:05 :: [aarch64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:16:05 :: [aarch64] #300 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:16:16 :: [ppc64le] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:16:16 :: [ppc64le] #300 why3.git 1.8.0-alt1: build start
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/mlmpfr_wrapper.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/opt.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/exn_printer.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/util.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/exthtbl.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/lists.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/bigInt.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/strings.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/weakhtbl.cmi] Error 2
[i586] --
[i586] File "_none_", line 1:
[i586] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[i586] make: *** [Makefile:2107: src/util/hashcons.cmi] Error 2
2025-Jan-19 01:16:19 :: [i586] why3.git 1.8.0-alt1: remote: build failed
2025-Jan-19 01:16:19 :: [i586] #300 why3.git 1.8.0-alt1: build FAILED
2025-Jan-19 01:16:19 :: [i586] requesting cancellation of task processing
2025-Jan-19 01:17:43 :: [x86_64] #300 why3.git 1.8.0-alt1: build OK
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/util/hcpt.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/driver/prove_client.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/util/hashcons.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/util/pqueue.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/extract/java.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/util/strings.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/util/extmap.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/transform/eliminate_unknown_types.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/extract/ocaml.cmi] Error 2
[ppc64le] --
[ppc64le] File "_none_", line 1:
[ppc64le] Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
[ppc64le] make: *** [Makefile:2107: src/util/sysutil.cmi] Error 2
2025-Jan-19 01:17:47 :: [ppc64le] why3.git 1.8.0-alt1: remote: build failed
2025-Jan-19 01:17:47 :: [ppc64le] #300 why3.git 1.8.0-alt1: build FAILED
2025-Jan-19 01:19:30 :: [aarch64] #300 why3.git 1.8.0-alt1: build OK
2025-Jan-19 01:16:20 :: [i586] build FAILED
2025-Jan-19 01:17:47 :: [ppc64le] build FAILED
2025-Jan-19 01:19:30 :: task #369889 for sisyphus FAILED