From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=ham autolearn_force=no version=3.4.1 Date: Mon, 27 Jan 2025 09:36:58 +0000 From: "Girar awaiter (respublica)" To: Leonid Znamenok Subject: [#371761] [test-only] FAILED (try 5) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1 Message-ID: Mail-Followup-To: Girar awaiter robot References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: X-girar-task-id: 371761 X-girar-task-owner: respublica X-girar-task-repo: sisyphus X-girar-task-try: 5 X-girar-task-iter: 1 X-girar-task-status: FAILED X-girar-task-URL: https://git.altlinux.org/tasks/371761/ X-girar-task-log: logs/events.5.1.log X-girar-task-summary: [#371761] [test-only] FAILED (try 5) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1 User-Agent: Mutt/1.10.1 (2018-07-13) Cc: sisyphus-incominger@lists.altlinux.org, girar-builder-sisyphus@altlinux.org X-BeenThere: sisyphus-incominger@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Devel discussion list List-Id: ALT Linux Girar Builder robot reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 27 Jan 2025 09:37:02 -0000 Archived-At: List-Archive: 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 resp= ublica: #40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fe= tched 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 s= tart 2025-Jan-27 09:18:55 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build sta= rt 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 O= K (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 to= pbin/coqtop_byte_bin.bc -linkall /usr/lib/ocaml/compiler-libs/ocamlcommon.c= ma /usr/lib/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib/ocaml/compiler-l= ibs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cm= a /usr/lib/ocaml/str/str.cma /usr/lib/ocaml/unix/unix.cma /usr/lib/ocaml/th= reads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramli= b/gramlib.cma /usr/lib/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I= kernel/byterun /usr/lib/ocaml/dynlink/dynlink.cma kernel/kernel.cma librar= y/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma p= arsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.= cma /usr/lib/ocaml/findlib/findlib.cma /usr/lib/ocaml/findlib/findlib_dynlo= ad.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.c= ma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma tople= vel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib/ocaml/fi= ndlib/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_pl= ugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.= objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plu= gin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_p= lugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstord= er_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firsto= rder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.= firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorde= r/.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_plug= in.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugin= s/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plug= in.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/f= unind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Ind= fun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recde= f.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plu= gins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funi= nd/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/= =2Efunind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins= /funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proof= s.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_pri= nciples_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Ge= n_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_in= dfun.cmo) [i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o= plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatchin= g_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_= plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.s= srmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo) [i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Mi= cromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins= /micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/microme= ga/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega= /.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micro= mega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micr= omega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo pl= ugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo = plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plu= gins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cm= o plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micro= mega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_= micromega.cmo) [i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gr= amlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plug= in.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/s= sreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ss= reflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssref= lect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_= plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plu= gin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plu= gin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__S= srelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequ= ality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripat= s.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo = plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plu= gins/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 -no= init -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugi= ns/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/extr= action -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option= -native-compiler off -time-file theories/Init/Notations.timing theories/In= it/Notations.v) [i586] Promoting "_build/default/coqide-server.install" to "coqide-server.i= nstall" 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_p= lugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugi= ns/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac= _plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/by= te/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugi= n__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cm= o plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/lt= ac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_= plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin= =2Eobjs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte= /ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_pl= ugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries= =2Ecmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactic= s.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugin= s/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_pl= ugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/by= te/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugi= n__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrit= e.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo pl= ugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/= =2Eltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin= =2Eobjs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/lt= ac_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_p= lugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plu= gins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_p= lugin.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/ocamlcom= mon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/c= ompiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boo= t/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/byte= run/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kerne= l/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma = interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.c= ma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocam= l/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_in= itl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrli= b.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/de= v.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobj= s/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/byt= e/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__= Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Re= cdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo = plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/f= unind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funi= nd/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugin= s/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proo= fs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_pr= inciples_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G= en_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_i= ndfun.cmo) [ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a= -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatc= hing_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatchi= ng_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 plug= ins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micr= omega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/microm= ega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/mi= cromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/m= icromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo= plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.c= mo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo = plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate= =2Ecmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_= micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugi= n__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_p= lugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byt= e/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte= /ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ss= reflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssrefle= ct_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__Ssr= equality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssri= pats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.c= mo 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 pl= ugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plug= ins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugi= ns/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/e= xtraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-opt= ion -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-serve= r.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