2026-04-14 07:59.55: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/heads/main (32e05f4cedca60e27067f5bf9c7aa104f123278b) (linux-x86_64:(lint-doc))Base: ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216Opam project lint documentationTo reproduce locally:git clone --recursive "https://github.com/ocaml-gospel/gospel.git" -b "main" && cd "gospel" && git reset --hard 32e05f4ccat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216# alpine-3.22-4.14_opam-2.5USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -uCOPY --chown=1000:1000 gospel.opam ./RUN opam pin add -yn gospel.dev './'RUN echo '(lang dune 3.0)' > './dune-project'ENV DEPS="astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.0 cppo.1.8.0 crunch.4.0.0 dune.3.22.2 dune-build-info.3.22.2 fmt.0.11.0 fpath.0.7.3 inferno.20220603 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.1.0 odoc-parser.3.1.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.38.0 ptime.1.2.0 re.1.14.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.1 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPSRUN opam install $DEPSRUN opam install --yes dune 'odoc>=1.5.0'COPY --chown=1000:1000 . /src/RUN ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo "dune build @doc failed"; exit 2)END-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2026-04-14 07:59.55: Using cache hint "ocaml-gospel/gospel-ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216-alpine-3.22-4.14_opam-2.5-b02669af7e7989a49c263f4810aa84a5"2026-04-14 07:59.55: Using OBuilder spec:((from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)(comment alpine-3.22-4.14_opam-2.5)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(workdir /src)(run (shell "sudo chown opam /src"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u"))(copy (src gospel.opam) (dst ./))(run (network host)(shell "opam pin add -yn gospel.dev './'"))(run (shell "echo '(lang dune 3.0)' > './dune-project'"))(env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.0 cppo.1.8.0 crunch.4.0.0 dune.3.22.2 dune-build-info.3.22.2 fmt.0.11.0 fpath.0.7.3 inferno.20220603 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.1.0 odoc-parser.3.1.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.38.0 ptime.1.2.0 re.1.14.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.1 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4")(env CI true)(env OCAMLCI true)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install --yes dune 'odoc>=1.5.0'"))(copy (src .) (dst /src/))(run (shell "ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo \"dune build @doc failed\"; exit 2)")))2026-04-14 07:59.55: Waiting for resource in pool OCluster2026-04-14 09:12.41: Waiting for worker…2026-04-14 09:14.51: Got resource from pool OClusterBuilding on laodoke.caelum.ci.devAll commits already cachedHEAD is now at 32e05f4 Merge pull request #476 from mrjazzybread/set(from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)2026-04-14 09:14.51 ---> using "d1cef22083ba59d6db4e2f107091c68dd70ebdcc64c3894ad7db7be62ad17f4a" from cache/: (comment alpine-3.22-4.14_opam-2.5)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))2026-04-14 09:14.51 ---> using "aa238cb861d3c6c581edbbf37b9748fbb3955a0301f8754f1330522d31bdea95" from cache/src: (run (shell "opam init --reinit -ni"))Configuring from /home/opam/.opamrc and then from built-in defaults.Checking for available remotes: rsync and local, git.- you won't be able to use mercurial repositories unless you install the hg command on your system.- you won't be able to use darcs repositories unless you install the darcs command on your system.This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.You may want to back it up before going further.Continue? [y/n] y[NOTE] The 'jobs' option was reset, its value was 255 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:opam option jobs=255 --globalFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] Initialised2026-04-14 09:14.51 ---> using "3012e725308508d0de531ee578ee1e8781d13d01e7b7e084a1a8ab6b2e9dfc3c" from cache/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))Linux 6.8.0-106-genericThe OCaml toplevel, version 4.14.22.2.12026-04-14 09:14.51 ---> using "49acb3bbc71f8cee0ac24a0653bcca777fc6f3873bc89b90d919182499bf3c26" from cache/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2026-04-14 09:14.51 ---> using "834d8ad0726c0946994af4beac26783ef6bb1014f63b7b5e9de6455c8090386e" from cache/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADa6b2f19780..9af1f0b103 master -> origin/master5f7bb1a6e6 Merge pull request #29704 from shonfeder/release-dune-3.22.2<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositoryEverything as up-to-date as possible (run with --verbose to show unavailable upgrades).However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.# Run eval $(opam env) to update the current shell environment2026-04-14 09:14.51 ---> using "9ca1221f245e6d995d66052d8678854facb95af678eceac3f860b8615c8ece0e" from cache/src: (copy (src gospel.opam) (dst ./))2026-04-14 09:14.51 ---> saved as "9fa44caef87ae089b570c53f5bdbaeb47dea576ab4f75a2a4c04a920093a985b"/src: (run (network host)(shell "opam pin add -yn gospel.dev './'"))[gospel.dev] synchronised (file:///src)gospel is now pinned to file:///src (version dev)2026-04-14 09:14.57 ---> saved as "142fc2916d370a8ad4c0ce2095b2f9d1de0589ef308b0b58a106198e1bbc29cb"/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))2026-04-14 09:14.57 ---> saved as "7c610b2abe22a0ded6738f900f4319d9538e97d93135cf6c30b151a56156b429"/src: (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.0 cppo.1.8.0 crunch.4.0.0 dune.3.22.2 dune-build-info.3.22.2 fmt.0.11.0 fpath.0.7.3 inferno.20220603 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.1.0 odoc-parser.3.1.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.38.0 ptime.1.2.0 re.1.14.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.1 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4")/src: (env CI true)/src: (env OCAMLCI true)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS"))+ /usr/bin/sudo "apk" "update"- fetch https://dl-cdn.alpinelinux.org/alpine/v3.22/main/x86_64/APKINDEX.tar.gz- fetch https://dl-cdn.alpinelinux.org/alpine/v3.22/community/x86_64/APKINDEX.tar.gz- fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz- fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz- fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz- v3.22.3-129-g341e57f0802 [https://dl-cdn.alpinelinux.org/alpine/v3.22/main]- v3.22.3-128-g7aa4fcdb626 [https://dl-cdn.alpinelinux.org/alpine/v3.22/community]- v20260127-7635-gc4e863eeaed [https://dl-cdn.alpinelinux.org/alpine/edge/main]- v20260127-7668-g43fed200fd6 [https://dl-cdn.alpinelinux.org/alpine/edge/community]- v20260127-7668-g43fed200fd6 [https://dl-cdn.alpinelinux.org/alpine/edge/testing]- OK: 61350 distinct packages available<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[gospel.dev] synchronised (file:///src)[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 2).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).[NOTE] Package ocaml is already installed (current version is 4.14.2).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).2026-04-14 09:15.25 ---> saved as "2f5226bfbec7a645244ef3d0d5ea481b858266ac2e27f85e0c09b3b5e022aef6"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 2).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).[NOTE] Package ocaml is already installed (current version is 4.14.2).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following actions will be performed:=== install 35 packages- install astring 0.8.5- install camlp-streams 5.0.1- install cmdliner 2.1.0- install cppo 1.8.0- install crunch 4.0.0- install dune 3.22.2- install dune-build-info 3.22.2- install fmt 0.11.0- install fpath 0.7.3- install inferno 20220603- install menhir 20260209- install menhirCST 20260209- install menhirGLR 20260209- install menhirLib 20260209- install menhirSdk 20260209- install ocaml-compiler-libs v0.12.4- install ocamlbuild 0.16.1- install ocamlfind 1.9.8- install odoc 3.1.0- install odoc-parser 3.1.0- install pp_loc 2.1.0- install pprint 20230830- install ppx_blob 0.9.0- install ppx_derivers 1.2.1- install ppx_deriving 6.1.1- install ppxlib 0.38.0- install ptime 1.2.0- install re 1.14.0- install seq base- install sexplib0 v0.17.0- install stdlib-shims 0.3.0- install topkg 1.1.1- install tyxml 4.6.0- install unionFind 20220122- install uutf 1.0.4<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved camlp-streams.5.0.1 (cached)-> retrieved astring.0.8.5 (cached)-> retrieved cppo.1.8.0 (cached)-> retrieved cmdliner.2.1.0 (cached)-> retrieved crunch.4.0.0 (cached)-> retrieved fmt.0.11.0 (cached)-> retrieved fpath.0.7.3 (cached)-> retrieved inferno.20220603 (cached)-> retrieved ocaml-compiler-libs.v0.12.4 (cached)-> retrieved ocamlbuild.0.16.1 (cached)-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)-> retrieved ocamlfind.1.9.8 (cached)-> retrieved pp_loc.2.1.0 (cached)-> retrieved pprint.20230830 (cached)-> retrieved ppx_blob.0.9.0 (cached)-> retrieved ppx_derivers.1.2.1 (cached)-> retrieved ppx_deriving.6.1.1 (cached)-> retrieved dune.3.22.2, dune-build-info.3.22.2 (cached)-> retrieved odoc.3.1.0, odoc-parser.3.1.0 (cached)-> retrieved ppxlib.0.38.0 (cached)-> retrieved seq.base (cached)-> retrieved ptime.1.2.0 (cached)-> retrieved re.1.14.0 (cached)-> retrieved sexplib0.v0.17.0 (cached)-> retrieved stdlib-shims.0.3.0 (cached)-> installed cmdliner.2.1.0-> installed ocamlbuild.0.16.1-> installed seq.base-> retrieved topkg.1.1.1 (cached)-> retrieved tyxml.4.6.0 (cached)-> retrieved unionFind.20220122 (cached)-> retrieved uutf.1.0.4 (cached)-> installed ocamlfind.1.9.8-> installed topkg.1.1.1-> installed fmt.0.11.0-> installed uutf.1.0.4-> installed ptime.1.2.0-> installed astring.0.8.5-> installed fpath.0.7.3-> installed dune.3.22.2-> installed camlp-streams.5.0.1-> installed cppo.1.8.0-> installed crunch.4.0.0-> installed menhirCST.20260209-> installed ppx_derivers.1.2.1-> installed stdlib-shims.0.3.0-> installed menhirGLR.20260209-> installed pp_loc.2.1.0-> installed pprint.20230830-> installed unionFind.20220122-> installed dune-build-info.3.22.2-> installed menhirLib.20260209-> installed sexplib0.v0.17.0-> installed menhirSdk.20260209-> installed inferno.20220603-> installed odoc-parser.3.1.0-> installed ocaml-compiler-libs.v0.12.4-> installed re.1.14.0-> installed tyxml.4.6.0-> installed menhir.20260209-> installed odoc.3.1.0-> installed ppxlib.0.38.0-> installed ppx_blob.0.9.0-> installed ppx_deriving.6.1.1Done.# Run eval $(opam env) to update the current shell environment2026-04-14 09:18.30 ---> saved as "83502cb9e8ac089f0f4a999c30ee5517ddd544fc9cbe71b6d4225e764e722e1b"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install --yes dune 'odoc>=1.5.0'"))[NOTE] Package odoc is already installed (current version is 3.1.0).[NOTE] Package dune is already installed (current version is 3.22.2).2026-04-14 09:18.36 ---> saved as "5d3993351e64db8c4b60b10bd0a15ce725c359cc168b0da4276b2bab0c2a6260"/src: (copy (src .) (dst /src/))2026-04-14 09:18.37 ---> saved as "15f74534d05898fe5885823c2c5fe4840e42a1cf37ecc63619b42ebe2ab60b42"/src: (run (shell "ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo \"dune build @doc failed\"; exit 2)"))(cd _build/default/docs/stdlib/.gospelstdlib.objs/byte && /home/opam/.opam/4.14/bin/odoc compile -I . -I ../../../../_doc/_odoc/pkg/gospel --pkg gospel -o gospelstdlib.odoc gospelstdlib.cmti)File "../../stdlib/gospelstdlib.mli", line 28, character 6 to line 30, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 29, character 6 to line 31, character 39:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 30, character 6 to line 32, character 31:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 38, character 6 to line 40, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 40, character 6 to line 42, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 44, character 6 to line 46, character 51:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 46, character 6 to line 48, character 51:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 48, character 6 to line 50, character 23:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 51, character 6 to line 53, character 18:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 54, character 6 to line 56, character 21:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 56, character 6 to line 58, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 57, character 6 to line 59, character 32:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 59, character 6 to line 61, character 34:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 68, character 6 to line 70, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 69, character 6 to line 71, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 71, character 6 to line 73, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 72, character 6 to line 74, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 73, character 6 to line 75, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 74, character 6 to line 76, character 46:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 75, character 6 to line 77, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 76, character 6 to line 78, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 78, character 6 to line 80, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 79, character 6 to line 81, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 81, character 6 to line 83, character 45:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 82, character 6 to line 84, character 45:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 86, character 6 to line 88, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 87, character 6 to line 89, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 88, character 6 to line 90, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 89, character 6 to line 91, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 93, character 6 to line 95, character 54:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 96, character 6 to line 98, character 55:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 99, character 6 to line 101, character 82:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 100, character 6 to line 102, character 66:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 101, character 6 to line 103, character 66:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 103, character 6 to line 105, character 59:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 105, character 6 to line 111, character 52:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 111, character 6 to line 113, character 64:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 113, character 6 to line 119, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 120, character 8 to line 122, character 30:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 123, character 8 to line 125, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 126, character 8 to line 128, character 50:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 128, character 8 to line 132, character 45:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 132, character 8 to line 136, character 24:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 136, character 8 to line 141, character 37:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 141, character 8 to line 146, character 29:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 146, character 8 to line 151, character 37:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 151, character 8 to line 156, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 156, character 8 to line 158, character 28:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 159, character 8 to line 161, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 161, character 8 to line 163, character 59:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 165, character 8 to line 170, character 32:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 170, character 8 to line 174, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 174, character 8 to line 176, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 177, character 8 to line 182, character 33:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 182, character 8 to line 184, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 186, character 8 to line 190, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 190, character 8 to line 192, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 194, character 8 to line 198, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 198, character 8 to line 200, character 33:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 202, character 8 to line 206, character 22:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 206, character 8 to line 208, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 210, character 8 to line 214, character 25:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 214, character 8 to line 216, character 53:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 217, character 8 to line 221, character 34:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 221, character 8 to line 225, character 48:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 225, character 8 to line 230, character 30:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 230, character 8 to line 235, character 42:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 235, character 8 to line 237, character 57:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 238, character 8 to line 242, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 242, character 8 to line 246, character 59:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 246, character 8 to line 251, character 58:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 251, character 8 to line 255, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 255, character 8 to line 257, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 258, character 8 to line 262, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 262, character 8 to line 264, character 59:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 265, character 8 to line 271, character 4:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 271, character 8 to line 273, character 59:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 275, character 8 to line 280, character 39:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 280, character 8 to line 282, character 50:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 284, character 8 to line 289, character 34:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 289, character 8 to line 293, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 293, character 8 to line 295, character 55:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 297, character 8 to line 302, character 29:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 302, character 8 to line 304, character 64:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 306, character 8 to line 311, character 33:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 311, character 8 to line 313, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 314, character 8 to line 318, character 25:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 318, character 8 to line 320, character 56:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 322, character 8 to line 327, character 29:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 327, character 8 to line 334, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 334, character 8 to line 336, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 338, character 8 to line 342, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 342, character 8 to line 347, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 347, character 8 to line 353, character 18:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 353, character 8 to line 355, character 70:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 357, character 8 to line 361, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 361, character 8 to line 365, character 63:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 365, character 8 to line 367, character 71:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 369, character 8 to line 373, character 39:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 373, character 8 to line 377, character 65:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 377, character 8 to line 379, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 381, character 8 to line 386, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 386, character 8 to line 388, character 79:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 390, character 8 to line 398, character 4:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 402, character 8 to line 404, character 25:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 405, character 8 to line 407, character 55:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 408, character 8 to line 412, character 32:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 412, character 8 to line 414, character 28:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 415, character 8 to line 419, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 419, character 8 to line 421, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 423, character 8 to line 427, character 48:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 427, character 8 to line 429, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 430, character 8 to line 434, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 434, character 8 to line 436, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 437, character 8 to line 441, character 58:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 441, character 8 to line 445, character 56:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 445, character 8 to line 447, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 448, character 8 to line 452, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 452, character 8 to line 454, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 455, character 8 to line 459, character 69:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 459, character 8 to line 464, character 57:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 464, character 8 to line 466, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 468, character 8 to line 473, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 473, character 8 to line 475, character 39:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 477, character 8 to line 482, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 482, character 8 to line 484, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 486, character 8 to line 491, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 491, character 8 to line 493, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 494, character 8 to line 499, character 49:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 499, character 8 to line 501, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 503, character 8 to line 508, character 39:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 508, character 8 to line 510, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 512, character 8 to line 517, character 61:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 517, character 8 to line 519, character 55:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 520, character 8 to line 525, character 57:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 525, character 8 to line 530, character 42:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 530, character 8 to line 532, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 534, character 8 to line 536, character 34:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 537, character 8 to line 544, character 31:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 544, character 8 to line 548, character 26:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 548, character 8 to line 550, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 550, character 8 to line 554, character 37:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 554, character 8 to line 560, character 61:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 560, character 8 to line 565, character 45:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 565, character 8 to line 570, character 45:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 570, character 8 to line 572, character 48:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 574, character 8 to line 578, character 64:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 580, character 8 to line 582, character 25:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 583, character 8 to line 585, character 28:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 586, character 8 to line 588, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 589, character 8 to line 593, character 26:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 593, character 8 to line 595, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 596, character 8 to line 600, character 26:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 600, character 8 to line 605, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 605, character 8 to line 607, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 608, character 8 to line 610, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 611, character 8 to line 615, character 35:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 615, character 8 to line 620, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 620, character 8 to line 622, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 623, character 8 to line 628, character 29:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 628, character 8 to line 634, character 33:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 634, character 8 to line 636, character 41:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 637, character 8 to line 643, character 29:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 643, character 8 to line 648, character 33:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 648, character 8 to line 650, character 38:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 651, character 8 to line 655, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 655, character 8 to line 657, character 40:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 658, character 8 to line 663, character 34:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 663, character 8 to line 668, character 42:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 668, character 8 to line 670, character 36:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 671, character 8 to line 676, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 676, character 8 to line 678, character 50:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 680, character 8 to line 685, character 43:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 685, character 8 to line 687, character 67:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 690, character 8 to line 697, character 19:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 697, character 8 to line 704, character 19:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 704, character 8 to line 706, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 707, character 8 to line 709, character 34:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 709, character 8 to line 716, character 33:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 716, character 8 to line 720, character 26:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 720, character 8 to line 722, character 48:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 722, character 8 to line 728, character 50:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 728, character 8 to line 734, character 47:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 734, character 8 to line 739, character 44:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 739, character 8 to line 741, character 48:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 742, character 8 to line 746, character 60:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 746, character 8 to line 748, character 48:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 750, character 8 to line 756, character 52:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 756, character 8 to line 758, character 83:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 761, character 8 to line 769, character 74:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 770, character 6 to line 772, character 64:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 774, character 6 to line 780, character 24:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 780, character 6 to line 788, character 28:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 792, character 8 to line 794, character 37:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 794, character 8 to line 796, character 65:Warning: Code blocks should be indented at the opening `{`.File "../../stdlib/gospelstdlib.mli", line 798, character 8 to line 803, character 39:Warning: Code blocks should be indented at the opening `{`.(cd _build/default/_doc/_odocls/gospel && /home/opam/.opam/4.14/bin/odoc link -I ../../_odoc/pkg/gospel -I ../../../dev_tools/.gospel.objs/byte -I ../../../docs/stdlib/.gospelstdlib.objs/byte -I ../../../src/.gospel_checker.objs/byte -I ../../../src/ppx_odoc_of_gospel/.ppx_odoc_of_gospel.objs/byte -o gospelstdlib.odocl ../../../docs/stdlib/.gospelstdlib.objs/byte/gospelstdlib.odoc)File "../../stdlib/gospelstdlib.mli", line 121, characters 20-31:Warning: Failed to resolve reference unresolvedroot(sequence) Couldn't find "sequence"2026-04-14 09:18.54 ---> saved as "b3f1487cf4bc8728654c2dd1fb3f7a3273738c354919a2b0067d0e32e2cf2d3f"Job succeeded2026-04-14 09:18.54: Job succeeded