Polling Log
This page captures the polling log that triggered this build.
Started on Jan 4, 2023, 3:17:44 PM Started by event from 140.82.115.145 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Wed Jan 04 15:17:44 CET 2023 Using strategy: Default [poll] Last Built Revision: Revision 5f05c2b0cf2866b071396e100d896bb519477c5e (origin/trunk) The recommended git tool is: git using credential 1460efba-98da-4ca5-9696-a7e681202cc4 > git rev-parse --resolve-git-dir /net/www/ci/ocaml/workspace/Risc-V@script/.git # timeout=10 Fetching changes from the remote Git repositories > git config remote.origin.url git@github.com:ocaml/ocaml.git # timeout=10 Fetching upstream changes from git@github.com:ocaml/ocaml.git > git --version # timeout=10 > git --version # 'git version 2.7.4' using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH > git fetch --tags --progress git@github.com:ocaml/ocaml.git +refs/heads/*:refs/remotes/origin/* # timeout=10 Polling for changes in Seen branch in repository origin/3.08 Seen branch in repository origin/3.09 Seen branch in repository origin/3.10 Seen branch in repository origin/3.11 Seen branch in repository origin/3.12 Seen branch in repository origin/4.00 Seen branch in repository origin/4.01 Seen branch in repository origin/4.02 Seen branch in repository origin/4.03 Seen branch in repository origin/4.04 Seen branch in repository origin/4.05 Seen branch in repository origin/4.06 Seen branch in repository origin/4.07 Seen branch in repository origin/4.08 Seen branch in repository origin/4.09 Seen branch in repository origin/4.10 Seen branch in repository origin/4.11 Seen branch in repository origin/4.12 Seen branch in repository origin/4.13 Seen branch in repository origin/4.14 Seen branch in repository origin/5.0 Seen branch in repository origin/abstract-new Seen branch in repository origin/annot-from-lambda Seen branch in repository origin/autofocus Seen branch in repository origin/cducetrunk Seen branch in repository origin/class-with-type Seen branch in repository origin/contracts Seen branch in repository origin/contracts-3.11 Seen branch in repository origin/delegate Seen branch in repository origin/deprecated_optional_arguments Seen branch in repository origin/dothat Seen branch in repository origin/dwarf Seen branch in repository origin/dynamics Seen branch in repository origin/dyntypes Seen branch in repository origin/expoly Seen branch in repository origin/fastclass Seen branch in repository origin/fmu Seen branch in repository origin/gadts Seen branch in repository origin/gadts-devel Seen branch in repository origin/gadts-devel-lenormand Seen branch in repository origin/gcaml Seen branch in repository origin/gcaml3 Seen branch in repository origin/gcaml3090 Seen branch in repository origin/gcaml3101 Seen branch in repository origin/hidden_args Seen branch in repository origin/implicit-subtyping Seen branch in repository origin/implicits Seen branch in repository origin/ios-support Seen branch in repository origin/jo311 Seen branch in repository origin/jo312 Seen branch in repository origin/jo400 Seen branch in repository origin/jo401 Seen branch in repository origin/jocamltrunk Seen branch in repository origin/jocamltrunk+cduce Seen branch in repository origin/letopen Seen branch in repository origin/mark_expansive Seen branch in repository origin/merge_sig_str Seen branch in repository origin/mltk Seen branch in repository origin/module_of_module_type Seen branch in repository origin/monadic_let Seen branch in repository origin/multimatch Seen branch in repository origin/namespaces Seen branch in repository origin/newfunsyntax Seen branch in repository origin/newoolab Seen branch in repository origin/newoolab2 Seen branch in repository origin/newoolabmult Seen branch in repository origin/non-vanishing Seen branch in repository origin/objvariants Seen branch in repository origin/ocamlmode Seen branch in repository origin/olabl Seen branch in repository origin/open_types Seen branch in repository origin/polyrec Seen branch in repository origin/pr8891 Seen branch in repository origin/pr8908 Seen branch in repository origin/pr8934 Seen branch in repository origin/private_abbrevs Seen branch in repository origin/record-disambiguation Seen branch in repository origin/short-paths Seen branch in repository origin/short-paths-4.01 Seen branch in repository origin/sigsubst Seen branch in repository origin/static_exceptions Seen branch in repository origin/strict_labels Seen branch in repository origin/treematch Seen branch in repository origin/trunk Seen branch in repository origin/varunion Seen 85 remote branches > git show-ref --tags -d # timeout=10 > git log --full-history --no-abbrev --format=raw -M -m 5f05c2b0cf2866b071396e100d896bb519477c5e..b497c284639043e3d7dba81a4a4b379f273a9ba4 # timeout=10 Using strategy: Default [poll] Last Built Revision: Revision 5f05c2b0cf2866b071396e100d896bb519477c5e (origin/trunk) The recommended git tool is: git using credential 1460efba-98da-4ca5-9696-a7e681202cc4 > git rev-parse --resolve-git-dir /home/ci/workspace/Risc-V/.git # timeout=10 Fetching changes from the remote Git repositories > git config remote.origin.url git@github.com:ocaml/ocaml.git # timeout=10 Fetching upstream changes from git@github.com:ocaml/ocaml.git > git --version # timeout=10 > git --version # 'git version 2.30.2' using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH > git fetch --tags --force --progress -- git@github.com:ocaml/ocaml.git +refs/heads/*:refs/remotes/origin/* # timeout=10 Polling for changes in Seen branch in repository origin/3.08 Seen branch in repository origin/3.09 Seen branch in repository origin/3.10 Seen branch in repository origin/3.11 Seen branch in repository origin/3.12 Seen branch in repository origin/4.00 Seen branch in repository origin/4.01 Seen branch in repository origin/4.02 Seen branch in repository origin/4.03 Seen branch in repository origin/4.04 Seen branch in repository origin/4.05 Seen branch in repository origin/4.06 Seen branch in repository origin/4.07 Seen branch in repository origin/4.08 Seen branch in repository origin/4.09 Seen branch in repository origin/4.10 Seen branch in repository origin/4.11 Seen branch in repository origin/4.12 Seen branch in repository origin/4.13 Seen branch in repository origin/4.14 Seen branch in repository origin/5.0 Seen branch in repository origin/abstract-new Seen branch in repository origin/annot-from-lambda Seen branch in repository origin/autofocus Seen branch in repository origin/cducetrunk Seen branch in repository origin/class-with-type Seen branch in repository origin/contracts Seen branch in repository origin/contracts-3.11 Seen branch in repository origin/delegate Seen branch in repository origin/deprecated_optional_arguments Seen branch in repository origin/dothat Seen branch in repository origin/dwarf Seen branch in repository origin/dynamics Seen branch in repository origin/dyntypes Seen branch in repository origin/expoly Seen branch in repository origin/fastclass Seen branch in repository origin/fmu Seen branch in repository origin/gadts Seen branch in repository origin/gadts-devel Seen branch in repository origin/gadts-devel-lenormand Seen branch in repository origin/gcaml Seen branch in repository origin/gcaml3 Seen branch in repository origin/gcaml3090 Seen branch in repository origin/gcaml3101 Seen branch in repository origin/hidden_args Seen branch in repository origin/implicit-subtyping Seen branch in repository origin/implicits Seen branch in repository origin/ios-support Seen branch in repository origin/jo311 Seen branch in repository origin/jo312 Seen branch in repository origin/jo400 Seen branch in repository origin/jo401 Seen branch in repository origin/jocamltrunk Seen branch in repository origin/jocamltrunk+cduce Seen branch in repository origin/letopen Seen branch in repository origin/mark_expansive Seen branch in repository origin/merge_sig_str Seen branch in repository origin/mltk Seen branch in repository origin/module_of_module_type Seen branch in repository origin/monadic_let Seen branch in repository origin/multimatch Seen branch in repository origin/namespaces Seen branch in repository origin/newfunsyntax Seen branch in repository origin/newoolab Seen branch in repository origin/newoolab2 Seen branch in repository origin/newoolabmult Seen branch in repository origin/non-vanishing Seen branch in repository origin/objvariants Seen branch in repository origin/ocamlmode Seen branch in repository origin/olabl Seen branch in repository origin/open_types Seen branch in repository origin/polyrec Seen branch in repository origin/pr8891 Seen branch in repository origin/pr8908 Seen branch in repository origin/pr8934 Seen branch in repository origin/private_abbrevs Seen branch in repository origin/record-disambiguation Seen branch in repository origin/short-paths Seen branch in repository origin/short-paths-4.01 Seen branch in repository origin/sigsubst Seen branch in repository origin/static_exceptions Seen branch in repository origin/strict_labels Seen branch in repository origin/treematch Seen branch in repository origin/trunk Seen branch in repository origin/varunion Seen 85 remote branches > git show-ref --tags -d # timeout=10 > git log --full-history --no-abbrev --format=raw -M -m 5f05c2b0cf2866b071396e100d896bb519477c5e..b497c284639043e3d7dba81a4a4b379f273a9ba4 # timeout=10 Done. Took 12 sec Changes found