* [#371761] [test-only] FAILED (try 3) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
@ 2025-01-26 14:52 ` Girar awaiter (respublica)
2025-01-26 15:05 ` [#371761] [test-only] FAILED (try 4) " Girar awaiter (respublica)
` (8 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-26 14:52 UTC (permalink / raw)
To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.3.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#40 ocaml-lablgtk3 2:37 1:34 3:14 1:39
2025-Jan-26 14:49:04 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-25 20:11:04
2025-Jan-26 14:49:04 :: created build repo
2025-Jan-26 14:49:05 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:05 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:05 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:05 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:13 :: task abort requested by respublica.
2025-Jan-26 14:50:39 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:50:39 :: [i586] task processing CANCELLED
2025-Jan-26 14:50:44 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:50:44 :: [x86_64] task processing CANCELLED
2025-Jan-26 14:51:42 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:51:42 :: [aarch64] task processing CANCELLED
2025-Jan-26 14:52:19 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:52:19 :: [ppc64le] task processing CANCELLED
2025-Jan-26 14:50:39 :: [i586] build FAILED
2025-Jan-26 14:50:44 :: [x86_64] build FAILED
2025-Jan-26 14:51:42 :: [aarch64] build FAILED
2025-Jan-26 14:52:19 :: [ppc64le] build FAILED
2025-Jan-26 14:52:19 :: task #371761 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] [test-only] FAILED (try 4) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
2025-01-26 14:52 ` [#371761] [test-only] FAILED (try 3) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1 Girar awaiter (respublica)
@ 2025-01-26 15:05 ` Girar awaiter (respublica)
2025-01-27 9:36 ` [#371761] [test-only] FAILED (try 5) " Girar awaiter (respublica)
` (7 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-26 15:05 UTC (permalink / raw)
To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.4.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#200 coq failed failed failed failed
2025-Jan-26 14:53:55 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-26 14:53:13
2025-Jan-26 14:53:56 :: created build repo
2025-Jan-26 14:53:57 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:53:57 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:53:57 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:53:57 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:54:24 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:25 :: [i586] #200 coq.git 8.20.0-alt1: build start
2025-Jan-26 14:54:25 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:25 :: [x86_64] #200 coq.git 8.20.0-alt1: build start
2025-Jan-26 14:54:45 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:45 :: [aarch64] #200 coq.git 8.20.0-alt1: build start
2025-Jan-26 14:54:54 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:54 :: [ppc64le] #200 coq.git 8.20.0-alt1: build start
[i586] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/firstorder/firstorder_plugin.cma plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__G_ground.cmo)
[i586] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -bin-annot -bin-annot-occurrences -I plugins/ssr/.ssreflect_plugin.objs/byte -I /usr/lib/ocaml/dynlink -I /usr/lib/ocaml/findlib -I /usr/lib/ocaml/str -I /usr/lib/ocaml/threads -I /usr/lib/ocaml/unix -I /usr/lib/ocaml/zarith -I boot/.boot.objs/byte -I clib/.clib.objs/byte -I config/.config.objs/byte -I engine/.engine.objs/byte -I gramlib/.gramlib.objs/byte -I interp/.interp.objs/byte -I kernel/.kernel.objs/byte -I kernel/byterun/.coqrun.objs/byte -I lib/.lib.objs/byte -I library/.library.objs/byte -I parsing/.parsing.objs/byte -I perf/.coqperf.objs/byte -I plugins/ltac/.ltac_plugin.objs/byte -I plugins/ssrmatching/.ssrmatching_plugin.objs/byte -I pretyping/.pretyping.objs/byte -I printing/.printing.objs/byte -I proofs/.proofs.objs/byte -I tactics/.tactics.objs/byte -I vernac/.vernac.objs/byte -intf-suffix .ml -no-alias-deps -open Ssreflect_plugin -o plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo -c -impl plugins/ssr/ssrtacs.ml)
[i586] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[i586] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[i586] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[i586] Promoting "_build/default/coq-core.install" to "coq-core.install"
[i586] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-26 14:55:44 :: [i586] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 14:55:44 :: [i586] #200 coq.git 8.20.0-alt1: build FAILED
2025-Jan-26 14:55:44 :: [i586] requesting cancellation of task processing
[ppc64le] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[ppc64le] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ltac/ltac_plugin.cma plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extratactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Coretactics.cmo)
[ppc64le] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib64/ocaml/compiler-libs/ocamlcommon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib64/ocaml/str/str.cma /usr/lib64/ocaml/unix/unix.cma /usr/lib64/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib64/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[ppc64le] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[ppc64le] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[ppc64le] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[ppc64le] Promoting "_build/default/coq-core.install" to "coq-core.install"
[ppc64le] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[ppc64le] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-26 14:57:58 :: [ppc64le] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 14:57:58 :: [ppc64le] #200 coq.git 8.20.0-alt1: build FAILED
[x86_64] Running[3497]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis5.timing theories/Reals/Ranalysis5.v)
[x86_64] Running[3498]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ratan.timing theories/Reals/Ratan.v)
[x86_64] Running[3499]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Machin.timing theories/Reals/Machin.v)
[x86_64] Running[3500]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Rtrigo.timing theories/Reals/Rtrigo.v)
[x86_64] Running[3501]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis.timing theories/Reals/Ranalysis.v)
[x86_64] Running[3502]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/NewtonInt.timing theories/Reals/NewtonInt.v)
[x86_64] Running[3503]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Integration.timing theories/Reals/Integration.v)
[x86_64] Running[3504]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Reals.timing theories/Reals/Reals.v)
[x86_64] Running[3505]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/setoid_ring/Rings_R.timing theories/setoid_ring/Rings_R.v)
[x86_64] Promoting "_build/default/coq-stdlib.install" to "coq-stdlib.install"
2025-Jan-26 14:59:21 :: [x86_64] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 14:59:21 :: [x86_64] #200 coq.git 8.20.0-alt1: build FAILED
[aarch64] Running[3497]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis5.timing theories/Reals/Ranalysis5.v)
[aarch64] Running[3498]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ratan.timing theories/Reals/Ratan.v)
[aarch64] Running[3499]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Machin.timing theories/Reals/Machin.v)
[aarch64] Running[3500]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Rtrigo.timing theories/Reals/Rtrigo.v)
[aarch64] Running[3501]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis.timing theories/Reals/Ranalysis.v)
[aarch64] Running[3502]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/NewtonInt.timing theories/Reals/NewtonInt.v)
[aarch64] Running[3503]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Integration.timing theories/Reals/Integration.v)
[aarch64] Running[3504]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Reals.timing theories/Reals/Reals.v)
[aarch64] Running[3505]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/setoid_ring/Rings_R.timing theories/setoid_ring/Rings_R.v)
[aarch64] Promoting "_build/default/coq-stdlib.install" to "coq-stdlib.install"
2025-Jan-26 15:05:07 :: [aarch64] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 15:05:07 :: [aarch64] #200 coq.git 8.20.0-alt1: build FAILED
2025-Jan-26 14:55:44 :: [i586] build FAILED
2025-Jan-26 14:57:59 :: [ppc64le] build FAILED
2025-Jan-26 14:59:22 :: [x86_64] build FAILED
2025-Jan-26 15:05:07 :: [aarch64] build FAILED
2025-Jan-26 15:05:07 :: task #371761 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] [test-only] FAILED (try 5) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
2025-01-26 14:52 ` [#371761] [test-only] FAILED (try 3) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1 Girar awaiter (respublica)
2025-01-26 15:05 ` [#371761] [test-only] FAILED (try 4) " Girar awaiter (respublica)
@ 2025-01-27 9:36 ` Girar awaiter (respublica)
2025-01-27 9:58 ` [#371761] [test-only] FAILED (try 6) " Girar awaiter (respublica)
` (6 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-27 9:36 UTC (permalink / raw)
To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.5.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#300 coq 17:25 failed failed 9:16
2025-Jan-27 09:18:54 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 09:18:47
2025-Jan-27 09:18:54 :: created build repo
2025-Jan-27 09:18:55 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:18:55 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:18:55 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:18:55 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:19:14 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:14 :: [i586] #300 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:19:16 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:16 :: [x86_64] #300 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:19:33 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:33 :: [aarch64] #300 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:19:40 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:41 :: [ppc64le] #300 coq.git 8.20.0-alt1: build start
[i586] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib/ocaml/compiler-libs/ocamlcommon.cma /usr/lib/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib/ocaml/str/str.cma /usr/lib/ocaml/unix/unix.cma /usr/lib/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib/ocaml/findlib/findlib.cma /usr/lib/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[i586] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/firstorder/firstorder_plugin.cma plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__G_ground.cmo)
[i586] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[i586] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[i586] Promoting "_build/default/coq-core.install" to "coq-core.install"
[i586] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[i586] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:20:32 :: [i586] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:20:32 :: [i586] #300 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:20:32 :: [i586] requesting cancellation of task processing
[ppc64le] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ltac/ltac_plugin.cma plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extratactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Coretactics.cmo)
[ppc64le] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[ppc64le] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib64/ocaml/compiler-libs/ocamlcommon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib64/ocaml/str/str.cma /usr/lib64/ocaml/unix/unix.cma /usr/lib64/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib64/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[ppc64le] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[ppc64le] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[ppc64le] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[ppc64le] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[ppc64le] Promoting "_build/default/coq-core.install" to "coq-core.install"
[ppc64le] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:22:43 :: [ppc64le] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:22:43 :: [ppc64le] #300 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:28:32 :: [x86_64] #300 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:36:58 :: [aarch64] #300 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:20:32 :: [i586] build FAILED
2025-Jan-27 09:22:43 :: [ppc64le] build FAILED
2025-Jan-27 09:36:58 :: task #371761 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] [test-only] FAILED (try 6) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (2 preceding siblings ...)
2025-01-27 9:36 ` [#371761] [test-only] FAILED (try 5) " Girar awaiter (respublica)
@ 2025-01-27 9:58 ` Girar awaiter (respublica)
2025-01-27 13:26 ` [#371761] [test-only] FAILED (try 7) " Girar awaiter (respublica)
` (5 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-27 9:58 UTC (permalink / raw)
To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.6.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#400 coq 17:15 failed failed 9:16
2025-Jan-27 09:40:43 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 09:39:59
2025-Jan-27 09:40:44 :: created build repo
2025-Jan-27 09:40:45 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:40:45 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:40:45 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:40:45 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:41:04 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:04 :: [i586] #400 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:41:05 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:05 :: [x86_64] #400 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:41:22 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:23 :: [aarch64] #400 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:41:29 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:29 :: [ppc64le] #400 coq.git 8.20.0-alt1: build start
[i586] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -bin-annot -bin-annot-occurrences -I plugins/ssr/.ssreflect_plugin.objs/byte -I /usr/lib/ocaml/dynlink -I /usr/lib/ocaml/findlib -I /usr/lib/ocaml/str -I /usr/lib/ocaml/threads -I /usr/lib/ocaml/unix -I /usr/lib/ocaml/zarith -I boot/.boot.objs/byte -I clib/.clib.objs/byte -I config/.config.objs/byte -I engine/.engine.objs/byte -I gramlib/.gramlib.objs/byte -I interp/.interp.objs/byte -I kernel/.kernel.objs/byte -I kernel/byterun/.coqrun.objs/byte -I lib/.lib.objs/byte -I library/.library.objs/byte -I parsing/.parsing.objs/byte -I perf/.coqperf.objs/byte -I plugins/ltac/.ltac_plugin.objs/byte -I plugins/ssrmatching/.ssrmatching_plugin.objs/byte -I pretyping/.pretyping.objs/byte -I printing/.printing.objs/byte -I proofs/.proofs.objs/byte -I tactics/.tactics.objs/byte -I vernac/.vernac.objs/byte -intf-suffix .ml -no-alias-deps -open Ssreflect_plugin -o plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo -c -impl plugins/ssr/ssrtacs.ml)
[i586] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/firstorder/firstorder_plugin.cma plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__G_ground.cmo)
[i586] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[i586] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[i586] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[i586] Promoting "_build/default/coq-core.install" to "coq-core.install"
[i586] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:42:22 :: [i586] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:42:22 :: [i586] #400 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:42:22 :: [i586] requesting cancellation of task processing
[ppc64le] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ltac/ltac_plugin.cma plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extratactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Coretactics.cmo)
[ppc64le] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[ppc64le] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib64/ocaml/compiler-libs/ocamlcommon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib64/ocaml/str/str.cma /usr/lib64/ocaml/unix/unix.cma /usr/lib64/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib64/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[ppc64le] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[ppc64le] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[ppc64le] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[ppc64le] Promoting "_build/default/coq-core.install" to "coq-core.install"
[ppc64le] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[ppc64le] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:44:25 :: [ppc64le] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:44:25 :: [ppc64le] #400 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:50:21 :: [x86_64] #400 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:58:38 :: [aarch64] #400 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:42:22 :: [i586] build FAILED
2025-Jan-27 09:44:26 :: [ppc64le] build FAILED
2025-Jan-27 09:58:38 :: task #371761 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] [test-only] FAILED (try 7) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (3 preceding siblings ...)
2025-01-27 9:58 ` [#371761] [test-only] FAILED (try 6) " Girar awaiter (respublica)
@ 2025-01-27 13:26 ` Girar awaiter (respublica)
2025-01-27 13:52 ` [#371761] [test-only] FAILED (try 8) " Girar awaiter (respublica)
` (4 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-27 13:26 UTC (permalink / raw)
To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.7.1.log
https://packages.altlinux.org/tasks/371761
2025-Jan-27 13:24:41 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 13:24:25
2025-Jan-27 13:24:42 :: created build repo
2025-Jan-27 13:24:43 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:24:43 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:24:43 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:24:43 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:25:02 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:02 :: [i586] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:03 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:03 :: [x86_64] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:15 :: [i586] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:25:16 :: [x86_64] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:25:21 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:21 :: [aarch64] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:29 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:29 :: [ppc64le] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:44 :: [aarch64] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:25:54 :: [ppc64le] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:26:15 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 13:26:15 :: #500: coq.git 8.20.0-alt1: no source package
2025-Jan-27 13:26:16 :: build check FAILED for: #500
2025-Jan-27 13:26:16 :: task #371761 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] [test-only] FAILED (try 8) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (4 preceding siblings ...)
2025-01-27 13:26 ` [#371761] [test-only] FAILED (try 7) " Girar awaiter (respublica)
@ 2025-01-27 13:52 ` Girar awaiter (respublica)
2025-01-27 14:42 ` [#371761] TESTED (try 9) " Girar awaiter (respublica)
` (3 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-27 13:52 UTC (permalink / raw)
To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.8.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#600 coq 17:27 - - 9:18
2025-Jan-27 13:31:02 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 13:30:47
2025-Jan-27 13:31:02 :: created build repo
2025-Jan-27 13:31:03 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:17 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:18 :: [i586] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:18 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:18 :: [x86_64] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:31 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:31 :: [ppc64le] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:32 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:32 :: [aarch64] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:33 :: [i586] #600 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:31:59 :: [ppc64le] #600 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:40:36 :: [x86_64] #600 coq.git 8.20.0-alt1: build OK
2025-Jan-27 13:48:59 :: [aarch64] #600 coq.git 8.20.0-alt1: build OK
2025-Jan-27 13:49:18 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 13:49:38 :: #600: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 13:49:39 :: build check OK
2025-Jan-27 13:50:39 :: noarch check OK
2025-Jan-27 13:50:41 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35665
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
- NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-27 13:51:30 :: patched apt indices
2025-Jan-27 13:51:42 :: created next repo
2025-Jan-27 13:51:53 :: duplicate provides check OK
x86_64: NEW unmet dependencies detected:
coq-core#8.20.0-alt1:sisyphus+371761.600.8.1@1737985169 python3(TimeFileMaker) < 0
aarch64: NEW unmet dependencies detected:
coq-core#8.20.0-alt1:sisyphus+371761.600.8.1@1737985624 python3(TimeFileMaker) < 0
ACLs of affected packages (1):
coq
2025-Jan-27 13:52:33 :: unmets: x86_64 +1 -0 =1, aarch64 +1 -0 =4
2025-Jan-27 13:52:34 :: dependencies check FAILED
2025-Jan-27 13:52:34 :: task #371761 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] TESTED (try 9) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (5 preceding siblings ...)
2025-01-27 13:52 ` [#371761] [test-only] FAILED (try 8) " Girar awaiter (respublica)
@ 2025-01-27 14:42 ` Girar awaiter (respublica)
2025-01-27 19:09 ` [#371761] TESTED (try 10) " Girar awaiter (respublica)
` (2 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-27 14:42 UTC (permalink / raw)
To: Leonid Znamenok
Cc: sisyphus-incominger, Anton Farygin, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.9.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#40 ocaml-lablgtk3 3:21 1:42 3:31 1:47
#700 coq 17:27 - - 9:14
2025-Jan-27 14:05:20 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 14:04:56
2025-Jan-27 14:05:21 :: created build repo
2025-Jan-27 14:05:22 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:05:22 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:05:22 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:05:22 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:07:04 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:07:04 :: [i586] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:07:09 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:07:09 :: [x86_64] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:07:18 :: [i586] #700 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 14:08:43 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:08:44 :: [aarch64] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:08:53 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:08:53 :: [ppc64le] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:09:21 :: [ppc64le] #700 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 14:16:23 :: [x86_64] #700 coq.git 8.20.0-alt1: build OK
2025-Jan-27 14:26:11 :: [aarch64] #700 coq.git 8.20.0-alt1: build OK
2025-Jan-27 14:26:31 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 14:26:52 :: #700: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 14:26:53 :: build check OK
2025-Jan-27 14:27:53 :: noarch check OK
2025-Jan-27 14:27:55 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35665
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
- NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-27 14:28:45 :: patched apt indices
2025-Jan-27 14:28:59 :: created next repo
2025-Jan-27 14:29:10 :: duplicate provides check OK
2025-Jan-27 14:30:04 :: dependencies check OK
2025-Jan-27 14:31:10 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
x86_64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-27 14:31:28 :: [x86_64] #700 coq: install check OK
aarch64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-27 14:31:40 :: [aarch64] #700 coq: install check OK
2025-Jan-27 14:31:40 :: [i586] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 14:32:01 :: [ppc64le] #40 ocaml-lablgtk3: install check OK
x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-27 14:32:08 :: [x86_64] #700 coq-coqide: install check OK
2025-Jan-27 14:32:10 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:32:36 :: [i586] #40 ocaml-lablgtk3-devel: install check OK
aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-27 14:32:43 :: [aarch64] #700 coq-coqide: install check OK
2025-Jan-27 14:32:52 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:32:56 :: [x86_64] #700 coq-coqide-debuginfo: install check OK
2025-Jan-27 14:33:11 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 14:33:32 :: [x86_64] #700 coq-coqide-server: install check OK
2025-Jan-27 14:33:36 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 14:33:57 :: [aarch64] #700 coq-coqide-debuginfo: install check OK
2025-Jan-27 14:34:10 :: [x86_64] #700 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 14:34:36 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
x86_64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-27 14:34:46 :: [x86_64] #700 coq-core: install check OK
2025-Jan-27 14:34:54 :: [aarch64] #700 coq-coqide-server: install check OK
2025-Jan-27 14:35:22 :: [x86_64] #700 coq-core-debuginfo: install check OK
2025-Jan-27 14:35:43 :: [x86_64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 14:35:54 :: [aarch64] #700 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 14:36:11 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:36:37 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK
aarch64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-27 14:36:49 :: [aarch64] #700 coq-core: install check OK
2025-Jan-27 14:37:10 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 14:37:47 :: [aarch64] #700 coq-core-debuginfo: install check OK
2025-Jan-27 14:38:20 :: [aarch64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 14:39:04 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:39:43 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 14:40:35 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 14:40:36 :: [x86_64-i586] plan: #1 +1 -1 =11563
2025-Jan-27 14:41:03 :: [x86_64-i586] arepo build OK
2025-Jan-27 14:41:20 :: [x86_64-i586] generated apt indices
2025-Jan-27 14:41:22 :: [x86_64-i586] created next repo
2025-Jan-27 14:41:33 :: [x86_64-i586] dependencies check OK
2025-Jan-27 14:41:35 :: gears inheritance check OK
2025-Jan-27 14:41:35 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #40: ocaml-lablgtk3: Operation not permitted
girar-check-perms: access to coq DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #700: coq: Operation not permitted
2025-Jan-27 14:41:36 :: acl check IGNORED
2025-Jan-27 14:41:50 :: created contents_index files
2025-Jan-27 14:42:04 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-27 14:42:09 :: task #371761 for sisyphus TESTED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] TESTED (try 10) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (6 preceding siblings ...)
2025-01-27 14:42 ` [#371761] TESTED (try 9) " Girar awaiter (respublica)
@ 2025-01-27 19:09 ` Girar awaiter (respublica)
2025-01-30 3:04 ` [#371761] TESTED (try 11) " Girar awaiter (respublica)
2025-01-30 6:40 ` [#371761] DONE (try 12) " Girar pender (respublica)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-27 19:09 UTC (permalink / raw)
To: Leonid Znamenok
Cc: sisyphus-incominger, Anton Farygin, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.10.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#40 ocaml-lablgtk3 2:44 1:35 3:19 1:40
#1000 coq 17:05 - - 9:29
2025-Jan-27 18:34:00 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 18:33:41
2025-Jan-27 18:34:00 :: created build repo
2025-Jan-27 18:34:01 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:34:01 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:34:01 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:34:01 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:35:36 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:35:36 :: [i586] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:35:41 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:35:41 :: [x86_64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:35:50 :: [i586] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 18:36:45 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:36:45 :: [aarch64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:37:20 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:37:21 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:37:48 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 18:45:10 :: [x86_64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-27 18:53:50 :: [aarch64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-27 18:54:08 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 18:54:28 :: #1000: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 18:54:29 :: build check OK
2025-Jan-27 18:55:30 :: noarch check OK
2025-Jan-27 18:55:32 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35662
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
- NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-27 18:56:20 :: patched apt indices
2025-Jan-27 18:56:32 :: created next repo
2025-Jan-27 18:56:43 :: duplicate provides check OK
2025-Jan-27 18:57:23 :: dependencies check OK
2025-Jan-27 18:58:19 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
x86_64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-27 18:58:35 :: [x86_64] #1000 coq: install check OK
aarch64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-27 18:58:44 :: [aarch64] #1000 coq: install check OK
2025-Jan-27 18:58:46 :: [i586] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 18:59:05 :: [ppc64le] #40 ocaml-lablgtk3: install check OK
x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-27 18:59:14 :: [x86_64] #1000 coq-coqide: install check OK
2025-Jan-27 18:59:16 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 18:59:43 :: [i586] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 18:59:57 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK
aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-27 19:00:00 :: [aarch64] #1000 coq-coqide: install check OK
2025-Jan-27 19:00:02 :: [x86_64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-27 19:00:18 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 19:00:39 :: [x86_64] #1000 coq-coqide-server: install check OK
2025-Jan-27 19:00:42 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 19:01:15 :: [aarch64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-27 19:01:18 :: [x86_64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 19:01:43 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
x86_64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-27 19:01:53 :: [x86_64] #1000 coq-core: install check OK
2025-Jan-27 19:02:13 :: [aarch64] #1000 coq-coqide-server: install check OK
2025-Jan-27 19:02:34 :: [x86_64] #1000 coq-core-debuginfo: install check OK
2025-Jan-27 19:02:55 :: [x86_64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 19:03:14 :: [aarch64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 19:03:24 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 19:03:50 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK
aarch64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-27 19:04:13 :: [aarch64] #1000 coq-core: install check OK
2025-Jan-27 19:04:24 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 19:05:18 :: [aarch64] #1000 coq-core-debuginfo: install check OK
2025-Jan-27 19:05:59 :: [aarch64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 19:06:51 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 19:07:32 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 19:08:25 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 19:08:26 :: [x86_64-i586] plan: #1 +1 -1 =11563
2025-Jan-27 19:08:44 :: [x86_64-i586] arepo build OK
2025-Jan-27 19:09:01 :: [x86_64-i586] generated apt indices
2025-Jan-27 19:09:03 :: [x86_64-i586] created next repo
2025-Jan-27 19:09:15 :: [x86_64-i586] dependencies check OK
2025-Jan-27 19:09:16 :: gears inheritance check OK
2025-Jan-27 19:09:16 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #40: ocaml-lablgtk3: Operation not permitted
girar-check-perms: access to coq DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #1000: coq: Operation not permitted
2025-Jan-27 19:09:17 :: acl check IGNORED
2025-Jan-27 19:09:29 :: created contents_index files
2025-Jan-27 19:09:40 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-27 19:09:43 :: task #371761 for sisyphus TESTED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] TESTED (try 11) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (7 preceding siblings ...)
2025-01-27 19:09 ` [#371761] TESTED (try 10) " Girar awaiter (respublica)
@ 2025-01-30 3:04 ` Girar awaiter (respublica)
2025-01-30 6:40 ` [#371761] DONE (try 12) " Girar pender (respublica)
9 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (respublica) @ 2025-01-30 3:04 UTC (permalink / raw)
To: Leonid Znamenok
Cc: sisyphus-incominger, Anton Farygin, girar-builder-sisyphus
https://git.altlinux.org/tasks/371761/logs/events.11.1.log
https://packages.altlinux.org/tasks/371761
subtask name aarch64 i586 ppc64le x86_64
#40 ocaml-lablgtk3 2:46 1:46 3:26 1:48
#1000 coq 17:59 - - 10:08
2025-Jan-30 02:28:49 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 18:33:41
2025-Jan-30 02:28:49 :: created build repo
2025-Jan-30 02:28:51 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:28:51 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:28:51 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:28:51 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:30:37 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:30:37 :: [i586] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:30:39 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:30:40 :: [x86_64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:30:52 :: [i586] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 02:31:37 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:31:38 :: [aarch64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:32:17 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:32:17 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:32:44 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 02:40:48 :: [x86_64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-30 02:49:37 :: [aarch64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-30 02:49:56 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-30 02:50:16 :: #1000: coq.git 8.20.0-alt1: build check OK
2025-Jan-30 02:50:17 :: build check OK
2025-Jan-30 02:51:21 :: noarch check OK
2025-Jan-30 02:51:23 :: plan: src +2 -1 =20056, aarch64 +11 -4 =34851, i586 +4 -4 =33852, ppc64le +4 -4 =33409, x86_64 +11 -4 =35667
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
- NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-30 02:52:21 :: patched apt indices
2025-Jan-30 02:52:32 :: created next repo
2025-Jan-30 02:52:43 :: duplicate provides check OK
2025-Jan-30 02:53:28 :: dependencies check OK
2025-Jan-30 02:54:23 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
x86_64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-30 02:54:38 :: [x86_64] #1000 coq: install check OK
aarch64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-30 02:54:46 :: [aarch64] #1000 coq: install check OK
2025-Jan-30 02:54:55 :: [i586] #40 ocaml-lablgtk3: install check OK
2025-Jan-30 02:55:09 :: [ppc64le] #40 ocaml-lablgtk3: install check OK
x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-30 02:55:19 :: [x86_64] #1000 coq-coqide: install check OK
2025-Jan-30 02:55:29 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK
aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-30 02:55:48 :: [aarch64] #1000 coq-coqide: install check OK
2025-Jan-30 02:55:59 :: [i586] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 02:56:00 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-30 02:56:08 :: [x86_64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-30 02:56:37 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 02:56:44 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 02:56:45 :: [x86_64] #1000 coq-coqide-server: install check OK
2025-Jan-30 02:57:02 :: [aarch64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-30 02:57:24 :: [x86_64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-30 02:57:44 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 02:57:58 :: [aarch64] #1000 coq-coqide-server: install check OK
x86_64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-30 02:58:00 :: [x86_64] #1000 coq-core: install check OK
2025-Jan-30 02:58:39 :: [x86_64] #1000 coq-core-debuginfo: install check OK
2025-Jan-30 02:58:56 :: [aarch64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-30 02:59:01 :: [x86_64] #40 ocaml-lablgtk3: install check OK
2025-Jan-30 02:59:31 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK
aarch64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-30 02:59:50 :: [aarch64] #1000 coq-core: install check OK
2025-Jan-30 02:59:58 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 03:00:34 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 03:00:46 :: [aarch64] #1000 coq-core-debuginfo: install check OK
2025-Jan-30 03:01:17 :: [aarch64] #40 ocaml-lablgtk3: install check OK
2025-Jan-30 03:02:01 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-30 03:02:40 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 03:03:31 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 03:03:32 :: [x86_64-i586] plan: #1 +1 -1 =11563
2025-Jan-30 03:03:53 :: [x86_64-i586] arepo build OK
2025-Jan-30 03:04:09 :: [x86_64-i586] generated apt indices
2025-Jan-30 03:04:10 :: [x86_64-i586] created next repo
2025-Jan-30 03:04:22 :: [x86_64-i586] dependencies check OK
2025-Jan-30 03:04:23 :: gears inheritance check OK
2025-Jan-30 03:04:23 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 ALLOWED for respublica: project leader welcomes random builders
check-subtask-perms: #40: ocaml-lablgtk3: allowed for respublica
girar-check-perms: access to coq ALLOWED for respublica: project `coq' is not listed in the acl file for repository `sisyphus', and the policy for such projects in `sisyphus' is to allow
check-subtask-perms: #1000: coq: allowed for respublica
2025-Jan-30 03:04:24 :: acl check OK
2025-Jan-30 03:04:36 :: created contents_index files
2025-Jan-30 03:04:46 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-30 03:04:49 :: task #371761 for sisyphus TESTED
^ permalink raw reply [flat|nested] 10+ messages in thread* [#371761] DONE (try 12) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
` (8 preceding siblings ...)
2025-01-30 3:04 ` [#371761] TESTED (try 11) " Girar awaiter (respublica)
@ 2025-01-30 6:40 ` Girar pender (respublica)
9 siblings, 0 replies; 10+ messages in thread
From: Girar pender (respublica) @ 2025-01-30 6:40 UTC (permalink / raw)
To: Leonid Znamenok
Cc: sisyphus-incominger, Anton Farygin, girar-builder-sisyphus
https://git.altlinux.org/tasks/archive/done/_363/371761/logs/events.12.1.log
https://packages.altlinux.org/tasks/371761
2025-Jan-30 06:30:57 :: task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 18:33:41
2025-Jan-30 06:30:58 :: created build repo
2025-Jan-30 06:30:59 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:30:59 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:30:59 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:30:59 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:31:18 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:18 :: [i586] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:31:19 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:20 :: [x86_64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:31:32 :: [i586] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 06:31:35 :: [x86_64] #1000 coq.git 8.20.0-alt1: build OK (cached)
2025-Jan-30 06:31:36 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:37 :: [aarch64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:31:46 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:46 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:32:04 :: [aarch64] #1000 coq.git 8.20.0-alt1: build OK (cached)
2025-Jan-30 06:32:14 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 06:32:32 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-30 06:32:52 :: #1000: coq.git 8.20.0-alt1: build check OK
2025-Jan-30 06:32:53 :: build check OK
2025-Jan-30 06:33:52 :: noarch check OK
2025-Jan-30 06:33:54 :: plan: src +2 -1 =20058, aarch64 +11 -4 =34855, i586 +4 -4 =33856, ppc64le +4 -4 =33413, x86_64 +11 -4 =35671
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
- NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-30 06:34:39 :: patched apt indices
2025-Jan-30 06:34:51 :: created next repo
2025-Jan-30 06:35:02 :: duplicate provides check OK
2025-Jan-30 06:35:46 :: dependencies check OK
2025-Jan-30 06:36:22 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
2025-Jan-30 06:36:34 :: [i586] #40 ocaml-lablgtk3: install check OK (cached)
x86_64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-30 06:36:34 :: [x86_64] #1000 coq: install check OK (cached)
2025-Jan-30 06:36:39 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-30 06:36:40 :: [x86_64] #1000 coq-coqide: install check OK (cached)
aarch64: coq=8.20.0-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Jan-30 06:36:41 :: [aarch64] #1000 coq: install check OK (cached)
2025-Jan-30 06:36:43 :: [ppc64le] #40 ocaml-lablgtk3: install check OK (cached)
2025-Jan-30 06:36:44 :: [i586] #40 ocaml-lablgtk3-devel: install check OK (cached)
2025-Jan-30 06:36:46 :: [x86_64] #1000 coq-coqide-debuginfo: install check OK (cached)
2025-Jan-30 06:36:49 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
/usr/share/metainfo
2025-Jan-30 06:36:51 :: [aarch64] #1000 coq-coqide: install check OK (cached)
2025-Jan-30 06:36:52 :: [x86_64] #1000 coq-coqide-server: install check OK (cached)
2025-Jan-30 06:36:53 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
2025-Jan-30 06:36:58 :: [x86_64] #1000 coq-coqide-server-debuginfo: install check OK (cached)
2025-Jan-30 06:37:02 :: [aarch64] #1000 coq-coqide-debuginfo: install check OK (cached)
2025-Jan-30 06:37:03 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK (cached)
x86_64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-30 06:37:03 :: [x86_64] #1000 coq-core: install check OK (cached)
2025-Jan-30 06:37:09 :: [x86_64] #1000 coq-core-debuginfo: install check OK (cached)
2025-Jan-30 06:37:11 :: [aarch64] #1000 coq-coqide-server: install check OK (cached)
2025-Jan-30 06:37:14 :: [x86_64] #40 ocaml-lablgtk3: install check OK (cached)
2025-Jan-30 06:37:14 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
2025-Jan-30 06:37:19 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
2025-Jan-30 06:37:21 :: [aarch64] #1000 coq-coqide-server-debuginfo: install check OK (cached)
2025-Jan-30 06:37:24 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK (cached)
2025-Jan-30 06:37:29 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
aarch64: coq-core=8.20.0-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Jan-30 06:37:30 :: [aarch64] #1000 coq-core: install check OK (cached)
2025-Jan-30 06:37:40 :: [aarch64] #1000 coq-core-debuginfo: install check OK (cached)
2025-Jan-30 06:37:48 :: [aarch64] #40 ocaml-lablgtk3: install check OK (cached)
2025-Jan-30 06:37:57 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
2025-Jan-30 06:38:06 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK (cached)
2025-Jan-30 06:38:16 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
2025-Jan-30 06:38:17 :: [x86_64-i586] plan: #1 +1 -1 =11564
2025-Jan-30 06:38:34 :: [x86_64-i586] arepo build OK
2025-Jan-30 06:38:51 :: [x86_64-i586] generated apt indices
2025-Jan-30 06:38:52 :: [x86_64-i586] created next repo
2025-Jan-30 06:39:04 :: [x86_64-i586] dependencies check OK
2025-Jan-30 06:39:05 :: gears inheritance check OK
2025-Jan-30 06:39:05 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 ALLOWED for respublica: project leader welcomes random builders
check-subtask-perms: #40: ocaml-lablgtk3: allowed for respublica
girar-check-perms: access to coq ALLOWED for respublica: project `coq' is not listed in the acl file for repository `sisyphus', and the policy for such projects in `sisyphus' is to allow
check-subtask-perms: #1000: coq: allowed for respublica
2025-Jan-30 06:39:06 :: acl check OK
2025-Jan-30 06:39:19 :: created contents_index files
2025-Jan-30 06:39:29 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-30 06:39:32 :: task #371761 for sisyphus TESTED
2025-Jan-30 06:39:33 :: task is ready for commit
2025-Jan-30 06:39:39 :: repo clone OK
2025-Jan-30 06:39:40 :: packages update OK
2025-Jan-30 06:39:51 :: [x86_64 i586 aarch64 ppc64le] update OK
2025-Jan-30 06:39:52 :: [x86_64-i586] update OK
2025-Jan-30 06:39:52 :: repo update OK
2025-Jan-30 06:40:07 :: repo save OK
2025-Jan-30 06:40:07 :: src index update OK
2025-Jan-30 06:40:19 :: created /gears/c/coq.git branch `sisyphus'
2025-Jan-30 06:40:19 :: updated /gears/o/ocaml-lablgtk3.git branch `sisyphus'
2025-Jan-30 06:40:28 :: gears update OK
2025-Jan-30 06:40:28 :: ACL for new project `coq' assigned to user `respublica'
2025-Jan-30 06:40:28 :: task #371761 for sisyphus DONE
^ permalink raw reply [flat|nested] 10+ messages in thread