2025-05-18 15:52.02: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/449/head (0c917c3de69b402a2ba7650f5a7a74b475f7d09b) (linux-x86_64:(lint-doc)) Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c Opam project lint documentation To reproduce locally: git clone --recursive "https://github.com/ocaml-gospel/gospel.git" && cd "gospel" && git fetch origin "refs/pull/449/head" && git reset --hard 0c917c3d cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c # alpine-3.21-4.14_opam-2.3 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN cd ~/opam-repository && (git cat-file -e 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u COPY --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.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.2 dune-build-info.3.18.2 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS RUN opam install $DEPS RUN 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-DOCKERFILE docker build . END-REPRO-BLOCK 2025-05-18 15:52.02: Using cache hint "ocaml-gospel/gospel-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c-alpine-3.21-4.14_opam-2.3-71b8e1be5c9938f8d48eb894249631b5" 2025-05-18 15:52.02: Using OBuilder spec: ((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c) (comment alpine-3.21-4.14_opam-2.3) (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 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && 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 (network host) (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.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.2 dune-build-info.3.18.2 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2") (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)")) ) 2025-05-18 15:52.02: Waiting for resource in pool OCluster 2025-05-18 15:52.02: Waiting for worker… 2025-05-18 15:52.40: Got resource from pool OCluster Building on doris.caelum.ci.dev All commits already cached HEAD is now at 0c917c3d Let bindings can destruct tuples (from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c) 2025-05-18 16:07.43 ---> using "b31f8ea9b0da9063a13255c6536c5f85700cfe755ad07fbc6516da39211433c3" from cache /: (comment alpine-3.21-4.14_opam-2.3) /: (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")) 2025-05-18 16:07.43 ---> using "f3fb2c594ffb9f0cafdd97c79534f9ddeb93b46000a3d3ed6ef9a9f3dd49702b" 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 Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised 2025-05-18 16:07.43 ---> using "3835235415d1e5820750520d4df602ea7f1e564ad08cea94f5ee83b2f13e4c37" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.15.0-134-generic The OCaml toplevel, version 4.14.2 2.2.1 2025-05-18 16:07.43 ---> using "66f3bb7de938d2ced11527e2ee954324a4b3d37d855994e3abd61b872532729e" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-05-18 16:07.43 ---> using "38f5ebb7c93dd1b7b29d4976ff079a9c0f2712ec3c0a3dc6c1cae7284f0ca882" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u")) 35eb2f107a Merge pull request #27838 from maiste/release-dune-3.18.2 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///home/opam/opam-repository Everything 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 environment 2025-05-18 16:07.43 ---> using "699d2a1e6cb9b0ab09e17f9af8b2ac71bedc6675afb39054a06e151905e03baa" from cache /src: (copy (src gospel.opam) (dst ./)) 2025-05-18 16:07.43 ---> using "a71a8122cd486a07f125c82bca2be629e81515d721a5c0ebff075bd1f32d0b1a" from cache /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) 2025-05-18 16:07.43 ---> using "52cd89d0a403605f8b2c13178caaa5f48ef70a39706f0f39a324ba9e2c00ecad" from cache /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-05-18 16:07.43 ---> using "dd61de145c32c0b50af1b953617583c95a59a2e8f6d1e855f91218e3f3614abb" from cache /src: (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.2 dune-build-info.3.18.2 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2") /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.21/main/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/v3.21/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.21.3-480-gb04256b6954 [https://dl-cdn.alpinelinux.org/alpine/v3.21/main] - v3.21.3-494-g83b79ab6aa1 [https://dl-cdn.alpinelinux.org/alpine/v3.21/community] - v20250108-8492-g593fac9e1cd [https://dl-cdn.alpinelinux.org/alpine/edge/main] - v20250108-8503-g8dbc810282e [https://dl-cdn.alpinelinux.org/alpine/edge/community] - v20250108-8507-gf486f130cac [https://dl-cdn.alpinelinux.org/alpine/edge/testing] - OK: 58225 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). 2025-05-18 16:07.43 ---> using "c40179dab99d9d78f87d38be37404e1036fab114b4d314b6e37712350e596d1e" from cache /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 36 packages - install astring 0.8.5 - install camlp-streams 5.0.1 - install cmdliner 1.3.0 - install cppo 1.8.0 - install crunch 4.0.0 - install dune 3.18.2 - install dune-build-info 3.18.2 - install fmt 0.10.0 - install fpath 0.7.3 - install inferno 20220603 - install menhir 20240715 - install menhirCST 20240715 - install menhirLib 20240715 - install menhirSdk 20240715 - install ocaml-compiler-libs v0.12.4 - install ocamlbuild 0.16.1 - install ocamlfind 1.9.8 - install odoc 3.0.0 - install odoc-parser 3.0.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.0 - install ppxlib 0.36.0 - install ptime 1.2.0 - install re 1.12.0 - install result 1.5 - install seq base - install sexplib0 v0.17.0 - install stdlib-shims 0.3.0 - install topkg 1.0.8 - install tyxml 4.6.0 - install unionFind 20220122 - install uutf 1.0.4 - install yojson 2.2.2 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved camlp-streams.5.0.1 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved crunch.4.0.0 (cached) -> retrieved fmt.0.10.0 (cached) -> retrieved fpath.0.7.3 (cached) -> retrieved inferno.20220603 (cached) -> retrieved ocaml-compiler-libs.v0.12.4 (cached) -> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached) -> retrieved dune.3.18.2, dune-build-info.3.18.2 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved odoc.3.0.0, odoc-parser.3.0.0 (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.0 (cached) -> installed cmdliner.1.3.0 -> retrieved ptime.1.2.0 (cached) -> retrieved re.1.12.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved result.1.5 (cached) -> retrieved sexplib0.v0.17.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved topkg.1.0.8 (cached) -> retrieved ppxlib.0.36.0 (cached) -> retrieved tyxml.4.6.0 (cached) -> retrieved unionFind.20220122 (cached) -> retrieved uutf.1.0.4 (cached) -> retrieved yojson.2.2.2 (cached) -> installed ocamlfind.1.9.8 -> installed ocamlbuild.0.16.1 -> installed topkg.1.0.8 -> installed uutf.1.0.4 -> installed fmt.0.10.0 -> installed ptime.1.2.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed dune.3.18.2 -> installed camlp-streams.5.0.1 -> installed cppo.1.8.0 -> installed crunch.4.0.0 -> installed menhirCST.20240715 -> installed ppx_derivers.1.2.1 -> installed stdlib-shims.0.3.0 -> installed result.1.5 -> installed menhirSdk.20240715 -> installed pp_loc.2.1.0 -> installed pprint.20230830 -> installed sexplib0.v0.17.0 -> installed unionFind.20220122 -> installed menhirLib.20240715 -> installed dune-build-info.3.18.2 -> installed re.1.12.0 -> installed inferno.20220603 -> installed ocaml-compiler-libs.v0.12.4 -> installed odoc-parser.3.0.0 -> installed yojson.2.2.2 -> installed tyxml.4.6.0 -> installed odoc.3.0.0 -> installed menhir.20240715 -> installed ppxlib.0.36.0 -> installed ppx_blob.0.9.0 -> installed ppx_deriving.6.1.0 Done. # Run eval $(opam env) to update the current shell environment 2025-05-18 16:07.43 ---> using "f3523b5232b2e36012074a3cc407207f041f4d78b63dfa8ebb594685564b27f6" from cache /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.0.0). [NOTE] Package dune is already installed (current version is 3.18.2). 2025-05-18 16:07.43 ---> using "ac4910ccbfb23c74c13b42af5b33e544430c53c8804c62cd9bb92a28cb9e50b2" from cache /src: (copy (src .) (dst /src/)) 2025-05-18 16:07.45 ---> saved as "32c1594b75ce770d8846a9c5e2aa6b44e56a9ed92ef1bc319fdf4424f0865e01" /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 "../../gospelstdlib.mli", line 31, character 6 to line 33, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 32, character 6 to line 34, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 33, character 6 to line 35, character 31: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 41, character 6 to line 43, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 43, character 6 to line 45, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 47, character 6 to line 49, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 49, character 6 to line 51, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 51, character 6 to line 53, character 23: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 54, character 6 to line 56, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 57, character 6 to line 59, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 60, character 6 to line 62, character 21: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 62, character 6 to line 64, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 63, character 6 to line 65, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 65, character 6 to line 67, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 74, character 6 to line 76, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 75, character 6 to line 77, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 77, character 6 to line 79, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 78, character 6 to line 80, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 79, character 6 to line 81, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 80, character 6 to line 82, character 46: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 81, character 6 to line 83, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 82, character 6 to line 84, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 84, character 6 to line 86, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 85, character 6 to line 87, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 87, character 6 to line 89, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 88, character 6 to line 90, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 92, character 6 to line 94, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 93, character 6 to line 95, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 94, character 6 to line 96, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 95, character 6 to line 97, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 97, character 6 to line 99, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 98, character 6 to line 100, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 102, character 6 to line 104, character 54: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 105, character 6 to line 107, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 108, character 6 to line 110, character 82: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 109, character 6 to line 111, character 66: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 110, character 6 to line 112, character 66: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 112, character 6 to line 114, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 114, character 6 to line 120, character 52: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 120, character 6 to line 122, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 122, character 6 to line 128, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 129, character 8 to line 131, character 30: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 132, character 8 to line 134, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 135, character 8 to line 137, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 137, character 8 to line 141, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 141, character 8 to line 145, character 24: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 145, character 8 to line 150, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 150, character 8 to line 155, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 155, character 8 to line 160, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 160, character 8 to line 165, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 165, character 8 to line 167, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 168, character 8 to line 170, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 170, character 8 to line 172, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 174, character 8 to line 179, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 179, character 8 to line 183, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 183, character 8 to line 185, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 186, character 8 to line 191, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 191, character 8 to line 193, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 195, character 8 to line 199, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 199, character 8 to line 201, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 203, character 8 to line 207, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 207, character 8 to line 209, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 211, character 8 to line 215, character 22: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 215, character 8 to line 217, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 219, character 8 to line 223, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 223, character 8 to line 225, character 53: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 226, character 8 to line 230, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 230, character 8 to line 234, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 234, character 8 to line 239, character 30: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 239, character 8 to line 244, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 244, character 8 to line 246, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 247, character 8 to line 251, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 251, character 8 to line 255, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 255, character 8 to line 260, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 260, character 8 to line 264, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 264, character 8 to line 266, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 267, character 8 to line 271, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 271, character 8 to line 273, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 274, character 8 to line 280, character 4: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 280, character 8 to line 282, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 284, character 8 to line 289, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 289, character 8 to line 291, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 293, character 8 to line 298, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 298, character 8 to line 300, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 302, character 8 to line 307, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 307, character 8 to line 309, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 311, character 8 to line 316, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 316, character 8 to line 318, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 319, character 8 to line 323, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 323, character 8 to line 325, character 56: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 327, character 8 to line 332, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 332, character 8 to line 339, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 339, character 8 to line 341, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 343, character 8 to line 347, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 347, character 8 to line 352, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 352, character 8 to line 358, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 358, character 8 to line 360, character 70: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 362, character 8 to line 366, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 366, character 8 to line 370, character 63: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 370, character 8 to line 372, character 71: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 374, character 8 to line 378, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 378, character 8 to line 382, character 65: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 382, character 8 to line 384, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 386, character 8 to line 391, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 391, character 8 to line 393, character 79: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 395, character 8 to line 403, character 4: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 407, character 8 to line 409, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 410, character 8 to line 412, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 413, character 8 to line 417, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 417, character 8 to line 419, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 420, character 8 to line 424, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 424, character 8 to line 426, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 428, character 8 to line 432, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 432, character 8 to line 434, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 435, character 8 to line 439, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 439, character 8 to line 441, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 442, character 8 to line 446, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 446, character 8 to line 450, character 56: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 450, character 8 to line 452, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 453, character 8 to line 457, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 457, character 8 to line 459, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 460, character 8 to line 464, character 69: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 464, character 8 to line 469, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 469, character 8 to line 471, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 473, character 8 to line 478, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 478, character 8 to line 480, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 482, character 8 to line 487, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 487, character 8 to line 489, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 491, character 8 to line 496, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 496, character 8 to line 498, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 499, character 8 to line 504, character 49: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 504, character 8 to line 506, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 508, character 8 to line 513, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 513, character 8 to line 515, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 517, character 8 to line 522, character 61: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 522, character 8 to line 524, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 525, character 8 to line 530, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 530, character 8 to line 535, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 535, character 8 to line 537, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 539, character 8 to line 541, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 542, character 8 to line 549, character 31: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 549, character 8 to line 553, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 553, character 8 to line 555, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 555, character 8 to line 559, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 559, character 8 to line 565, character 61: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 565, character 8 to line 570, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 570, character 8 to line 575, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 575, character 8 to line 577, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 579, character 8 to line 583, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 585, character 8 to line 587, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 588, character 8 to line 590, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 591, character 8 to line 593, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 594, character 8 to line 598, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 598, character 8 to line 600, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 601, character 8 to line 605, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 605, character 8 to line 610, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 610, character 8 to line 612, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 613, character 8 to line 615, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 616, character 8 to line 620, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 620, character 8 to line 625, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 625, character 8 to line 627, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 628, character 8 to line 633, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 633, character 8 to line 639, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 639, character 8 to line 641, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 642, character 8 to line 648, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 648, character 8 to line 653, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 653, character 8 to line 655, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 656, character 8 to line 660, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 660, character 8 to line 662, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 663, character 8 to line 668, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 668, character 8 to line 673, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 673, character 8 to line 675, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 676, character 8 to line 681, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 681, character 8 to line 683, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 685, character 8 to line 690, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 690, character 8 to line 692, character 67: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 695, character 8 to line 702, character 19: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 702, character 8 to line 709, character 19: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 709, character 8 to line 711, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 712, character 8 to line 714, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 714, character 8 to line 721, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 721, character 8 to line 725, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 725, character 8 to line 727, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 727, character 8 to line 734, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 734, character 8 to line 740, character 53: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 740, character 8 to line 742, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 743, character 8 to line 747, character 60: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 747, character 8 to line 749, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 751, character 8 to line 757, character 52: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 757, character 8 to line 759, character 83: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 762, character 8 to line 770, character 74: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 771, character 6 to line 773, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 775, character 6 to line 781, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 785, character 8 to line 787, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 787, character 8 to line 789, character 65: Warning: Code blocks should be indented at the opening `{`. File "../../gospelstdlib.mli", line 791, character 8 to line 796, character 39: Warning: Code blocks should be indented at the opening `{`. (cd _build/default/_doc/_html && /home/opam/.opam/4.14/bin/odoc link -I ../_odoc/pkg/gospel -I ../../docs/stdlib/.gospelstdlib.objs/byte -I ../../src/.gospel.objs/byte -I ../../src/ppx_odoc_of_gospel/.ppx_odoc_of_gospel.objs/byte -o ../_odocls/gospel/gospelstdlib.odocl ../../docs/stdlib/.gospelstdlib.objs/byte/gospelstdlib.odoc) File "../../gospelstdlib.mli", line 130, characters 20-31: Warning: Failed to resolve reference unresolvedroot(sequence) Couldn't find "sequence" 2025-05-18 16:07.53 ---> saved as "f98677b2a8e511894a20ca8a1e6274b72f973ab01e9fbdf8598fe1f83f5c6ed1" Job succeeded 2025-05-18 16:07.53: Job succeeded