Skip to content
Success

Console Output

Started by GitHub push by gasche
Started by GitHub push by gasche
Lightweight checkout support not available, falling back to full checkout.
Checking out git https://github.com/ocaml/ocaml/ into /net/www/ci/ocaml/jobs/check-typo/workspace@script/e5fc3896b7a501a446fdc6a3c1d2fa3f560732009e58e20589af9e6fad5e33c2 to read tools/ci/inria/check-typo/Jenkinsfile
The recommended git tool is: git
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
 > git rev-parse --resolve-git-dir /net/www/ci/ocaml/jobs/check-typo/workspace@script/e5fc3896b7a501a446fdc6a3c1d2fa3f560732009e58e20589af9e6fad5e33c2/.git # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url https://github.com/ocaml/ocaml/ # timeout=10
Fetching upstream changes from https://github.com/ocaml/ocaml/
 > git --version # timeout=10
 > git --version # 'git version 2.43.0'
using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH
 > git fetch --tags --force --progress -- https://github.com/ocaml/ocaml/ +refs/heads/*:refs/remotes/origin/* # timeout=10
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/5.1
Seen branch in repository origin/5.2
Seen branch in repository origin/5.3
Seen branch in repository origin/5.4
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/magic-numbers
Seen branch in repository origin/mark_expansive
Seen branch in repository origin/merge_sig_str
Seen branch in repository origin/minor-heap-reservation
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 91 remote branches
 > git show-ref --tags -d # timeout=10
Checking out Revision e6231db020fe239ff3a5bed6ea9caadafad32c8f (origin/trunk)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e6231db020fe239ff3a5bed6ea9caadafad32c8f # timeout=10
Commit message: "Changes: 14169 was included in 5.4"
 > git rev-list --no-walk 16e0bea393ff373c2e26b13d37c8d388570bef6f # timeout=10
[Pipeline] Start of Pipeline
[Pipeline] node
Still waiting to schedule task
‘ocaml-linux-64’ is offline
Pausing (Preparing for shutdown)
Resuming build at Wed Aug 20 14:06:02 CEST 2025 after Jenkins restart
Ready to run at Wed Aug 20 14:06:02 CEST 2025
Running on ocaml-linux-64 in /home/barsac/ci/builds/workspace/check-typo
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Checkout SCM)
[Pipeline] checkout
The recommended git tool is: git
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
Fetching changes from the remote Git repository
 > git rev-parse --resolve-git-dir /home/barsac/ci/builds/workspace/check-typo/.git # timeout=10
 > git config remote.origin.url https://github.com/ocaml/ocaml/ # timeout=10
Fetching upstream changes from https://github.com/ocaml/ocaml/
 > git --version # timeout=10
 > git --version # 'git version 2.34.1'
using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH
 > git fetch --tags --force --progress -- https://github.com/ocaml/ocaml/ +refs/heads/*:refs/remotes/origin/* # timeout=10
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.13.1+modify+32b
Seen branch in repository origin/4.14
Seen branch in repository origin/5.0
Seen branch in repository origin/5.1
Seen branch in repository origin/5.2
Seen branch in repository origin/5.3
Seen branch in repository origin/5.4
Seen branch in repository origin/OlivierNicole-patch-1
Seen branch in repository origin/__asm__
Seen branch in repository origin/abstract-new
Seen branch in repository origin/afrisch-typecheck-revapply
Seen branch in repository origin/afrisch_fix_reachable_words
Seen branch in repository origin/annot-from-lambda
Seen branch in repository origin/autofocus
Seen branch in repository origin/bisect
Seen branch in repository origin/bootstrap-doc-update
Seen branch in repository origin/build-notifications
Seen branch in repository origin/build-ocamlnat
Seen branch in repository origin/build-with-debugging-informations
Seen branch in repository origin/caml-name-space
Seen branch in repository origin/cducetrunk
Seen branch in repository origin/class-with-type
Seen branch in repository origin/cleanup
Seen branch in repository origin/cleanup-power-support
Seen branch in repository origin/cleanup-windows-makefiles
Seen branch in repository origin/compatibility-cleanup
Seen branch in repository origin/constructors_with_record5
Seen branch in repository origin/contracts
Seen branch in repository origin/contracts-3.11
Seen branch in repository origin/debugger-and-threads
Seen branch in repository origin/define-caml-name-space
Seen branch in repository origin/define-undefined-build-variables
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/enable_more_warnings
Seen branch in repository origin/expect-test-disable-colors
Seen branch in repository origin/expoly
Seen branch in repository origin/fastclass
Seen branch in repository origin/fix-32bit-warning
Seen branch in repository origin/fix-as-detection
Seen branch in repository origin/fix-configure
Seen branch in repository origin/fix-cygwin-64-build
Seen branch in repository origin/fix-cygwin64-rebase
Seen branch in repository origin/fix-format-flush
Seen branch in repository origin/fix-install-doc
Seen branch in repository origin/fix-make-alldepend
Seen branch in repository origin/fix-native-tools-build
Seen branch in repository origin/fix-non-ascii
Seen branch in repository origin/fix-ocamldebug-test
Seen branch in repository origin/fix-ocamlnat-build-on-windows
Seen branch in repository origin/fix-runtimes-build
Seen branch in repository origin/fix-stdlib-build
Seen branch in repository origin/fix-tool-command-line-test
Seen branch in repository origin/fix_7190_better_errors_for_inlined_records
Seen branch in repository origin/fix_mpr7228
Seen branch in repository origin/flambda
Seen branch in repository origin/fmu
Seen branch in repository origin/foobar
Seen branch in repository origin/gadt-warnings
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/gcc_mingw_partial_link
Seen branch in repository origin/hidden_args
Seen branch in repository origin/honour-cflags-2
Seen branch in repository origin/honour-cflags-cppflags
Seen branch in repository origin/hotfix
Seen branch in repository origin/implicit-subtyping
Seen branch in repository origin/implicits
Seen branch in repository origin/improve-caml-fatal-error
Seen branch in repository origin/improve-distclean
Seen branch in repository origin/improve-doc-bin-annot
Seen branch in repository origin/improve-tsan-manual
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/magic-numbers
Seen branch in repository origin/make-it-testable
Seen branch in repository origin/makefiles-setup
Seen branch in repository origin/mark_expansive
Seen branch in repository origin/merge-root-makefiles
Seen branch in repository origin/merge_sig_str
Seen branch in repository origin/metadata
Seen branch in repository origin/migrate-backtrace-tests
Seen branch in repository origin/migrate-basic-tests
Seen branch in repository origin/migrate-expect-tests
Seen branch in repository origin/migrate-regression-tests
Seen branch in repository origin/migration-test-xavier
Seen branch in repository origin/mltk
Seen branch in repository origin/module-alias
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/native-compilation-32-bits
Seen branch in repository origin/new-test-framework
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/no-marshal-compression-flag-fix
Seen branch in repository origin/non-vanishing
Seen branch in repository origin/objvariants
Seen branch in repository origin/ocamldebug-options
Seen branch in repository origin/ocamldep
Seen branch in repository origin/ocamlmode
Seen branch in repository origin/ocamltest-log-program-output
Seen branch in repository origin/ocamltest-minor-cleanup
Seen branch in repository origin/ocamltest-set-TERM
Seen branch in repository origin/ocamltest-use-other-runtimes
Seen branch in repository origin/ocamltest-with-basic-directory
Seen branch in repository origin/olabl
Seen branch in repository origin/open_types
Seen branch in repository origin/overridemethod
Seen branch in repository origin/polling-at-bottom
Seen branch in repository origin/polling-at-top
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/pr9326
Seen branch in repository origin/precheck
Seen branch in repository origin/private_abbrevs
Seen branch in repository origin/record-disambiguation
Seen branch in repository origin/remove-nativeccprofopts
Seen branch in repository origin/remove-spurious-file
Seen branch in repository origin/rename-config-makefile
Seen branch in repository origin/resurrect-cygwin64-review-base
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/simplify-dependencies-generation
Seen branch in repository origin/sse2
Seen branch in repository origin/stackframes
Seen branch in repository origin/static_exceptions
Seen branch in repository origin/strict_labels
Seen branch in repository origin/t
Seen branch in repository origin/testsuite-improvements
Seen branch in repository origin/testsuite-running-improvement
Seen branch in repository origin/thread-exit
Seen branch in repository origin/toy_ppx_fixed
Seen branch in repository origin/treematch
Seen branch in repository origin/trunk
Seen branch in repository origin/trunk-with-ocamltest-embedded
Seen branch in repository origin/use-impl-in-testsuite
Seen branch in repository origin/user-defined-indexing-operators
Seen branch in repository origin/varunion
Seen branch in repository origin/warnings-documentation
Seen 180 remote branches
 > git show-ref --tags -d # timeout=10
Checking out Revision e6231db020fe239ff3a5bed6ea9caadafad32c8f (origin/trunk)
Commit message: "Changes: 14169 was included in 5.4"
[Pipeline] }
[Pipeline] // stage
[Pipeline] withEnv
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Checking code style)
[Pipeline] sh
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e6231db020fe239ff3a5bed6ea9caadafad32c8f # timeout=10
+ [ ! -x tools/check-typo ]
+ tools/check-typo
INFO: pruned path ./build-aux (typo.prune)
INFO: pruned path ./manual (typo.prune)
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
Finished: SUCCESS