Organisationsocaml-gospelgospel5597c6 (0.3.1)(lint-doc)

(lint-doc)

Logs

Show full logs
2026-04-03 11:37.25: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/heads/0.3.1 (5597c61db68efe950b838832f412aa6a9c8e6229) (linux-x86_64:(lint-doc))
Base: ocaml/opam:debian-13-ocaml-4.11@sha256:c4720a1541c7e13cbe9d9fe6a00dc203b92b7b6c25342d84da411f7666aecf1b
Opam project lint documentation

To reproduce locally:

git clone --recursive "https://github.com/ocaml-gospel/gospel.git" -b "0.3.1" && cd "gospel" && git reset --hard 5597c61d
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.11@sha256:c4720a1541c7e13cbe9d9fe6a00dc203b92b7b6c25342d84da411f7666aecf1b
# debian-13-4.11_opam-2.5
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 d06cfb1853afceb1dc127f88edaac3f8110bf6cc || git fetch origin master) && git reset -q --hard d06cfb1853afceb1dc127f88edaac3f8110bf6cc && 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.2.1.0 cppo.1.8.0 crunch.4.0.0 dune.3.22.1 dune-build-info.3.22.1 fmt.0.11.0 fpath.0.7.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.4.11.2 ocaml-base-compiler.4.11.2 ocaml-compiler-libs.v0.12.4 ocaml-config.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.1.0 odoc-parser.3.1.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.38.0 ptime.1.2.0 re.1.11.0 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.1.1 tyxml.4.6.0 uutf.1.0.4"
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

2026-04-03 11:37.25: Using cache hint "ocaml-gospel/gospel-ocaml/opam:debian-13-ocaml-4.11@sha256:c4720a1541c7e13cbe9d9fe6a00dc203b92b7b6c25342d84da411f7666aecf1b-debian-13-4.11_opam-2.5-fe678a82c080fed5afc41d9de4401d5f"
2026-04-03 11:37.25: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.11@sha256:c4720a1541c7e13cbe9d9fe6a00dc203b92b7b6c25342d84da411f7666aecf1b)
 (comment debian-13-4.11_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 d06cfb1853afceb1dc127f88edaac3f8110bf6cc || git fetch origin master) && git reset -q --hard d06cfb1853afceb1dc127f88edaac3f8110bf6cc && 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.1 dune-build-info.3.22.1 fmt.0.11.0 fpath.0.7.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.4.11.2 ocaml-base-compiler.4.11.2 ocaml-compiler-libs.v0.12.4 ocaml-config.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.1.0 odoc-parser.3.1.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.38.0 ptime.1.2.0 re.1.11.0 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.1.1 tyxml.4.6.0 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-03 11:37.25: Waiting for resource in pool OCluster
2026-04-03 19:27.15: Waiting for worker…
2026-04-03 19:29.48: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 5597c61 Update Changelog

(from ocaml/opam:debian-13-ocaml-4.11@sha256:c4720a1541c7e13cbe9d9fe6a00dc203b92b7b6c25342d84da411f7666aecf1b)
2026-04-03 19:30.15 ---> saved as "e718267daaed0c81bd2c116c7528c1a98fa754d32b0f20327a0e756a13a6d501"

/: (comment debian-13-4.11_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-03 19:30.15 ---> saved as "9c8901b5f4447bd15e37c975c2f52e07860e95119643c1e626eb92ba34a743dc"

/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 71 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=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-04-03 19:30.36 ---> saved as "f6c296df11f95cf21f229a0e98d776840be24a4ac184a79220c7783c540e513a"

/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-106-generic
The OCaml toplevel, version 4.11.2
2.2.1
2026-04-03 19:30.37 ---> saved as "a6eead744511ad524774a8ada349083007377cd5509ce3e9922ccbab8fed7288"

/src: (workdir /src)

/src: (run (shell "sudo chown opam /src"))
2026-04-03 19:30.37 ---> saved as "f99e43c317df43186513208e9c2304c80ee409a42e46cc5eece13061560dda24"

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e d06cfb1853afceb1dc127f88edaac3f8110bf6cc || git fetch origin master) && git reset -q --hard d06cfb1853afceb1dc127f88edaac3f8110bf6cc && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   ffb54b9bdd..d28e8bf13a  master     -> origin/master
d06cfb1853 Merge pull request #29632 from shonfeder/release-dune-3.22.1

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised 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
2026-04-03 19:30.57 ---> saved as "6bff261d63d2fe76d7dd8d5b61ca69d1a154e3574afc2b1e41bf8630614b6242"

/src: (copy (src gospel.opam) (dst ./))
2026-04-03 19:30.57 ---> saved as "7ff51796b4d910bae77df85654e0b838e791e711f9909faf528d559a75a3b58b"

/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-03 19:30.58 ---> saved as "82aaded9c1276ada8905c15aa61ddd79244259aef2c22d923f8e599863bc7972"

/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-04-03 19:30.58 ---> saved as "7ec9a0c1cc5cd46412b85274f648afe47e5141cd22c38953f50c68f6e82295d2"

/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.1 dune-build-info.3.22.1 fmt.0.11.0 fpath.0.7.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.4.11.2 ocaml-base-compiler.4.11.2 ocaml-compiler-libs.v0.12.4 ocaml-config.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.1.0 odoc-parser.3.1.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.38.0 ptime.1.2.0 re.1.11.0 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.1.1 tyxml.4.6.0 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 "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [119 kB]
- Fetched 10.0 MB in 1s (11.1 MB/s)
- Reading package lists...
- 

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[gospel.dev] synchronised (file:///src)

[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.11.2).
[NOTE] Package ocaml is already installed (current version is 4.11.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-03 19:31.07 ---> saved as "b707353ec749597c1a6e5bffbeb2f385718f2b4d7900e6dfc423c609f409b904"

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.11.2).
[NOTE] Package ocaml is already installed (current version is 4.11.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 31 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.1
  - install dune-build-info     3.22.1
  - install fmt                 0.11.0
  - install fpath               0.7.3
  - 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 ppx_derivers        1.2.1
  - install ppx_deriving        6.1.1
  - install ppxlib              0.38.0
  - install ptime               1.2.0
  - install re                  1.11.0
  - install seq                 base
  - install sexplib0            v0.16.0
  - install stdlib-shims        0.3.0
  - install topkg               1.1.1
  - install tyxml               4.6.0
  - 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 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 dune.3.22.1, dune-build-info.3.22.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved odoc.3.1.0, odoc-parser.3.1.0  (cached)
-> retrieved pp_loc.2.1.0  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.1  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved seq.base  (cached)
-> retrieved sexplib0.v0.16.0  (cached)
-> installed cmdliner.2.1.0
-> installed seq.base
-> retrieved re.1.11.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved ppxlib.0.38.0  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved tyxml.4.6.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed dune.3.22.1
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed crunch.4.0.0
-> installed dune-build-info.3.22.1
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed pp_loc.2.1.0
-> installed ppx_derivers.1.2.1
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed re.1.11.0
-> installed odoc-parser.3.1.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed tyxml.4.6.0
-> installed menhir.20260209
-> installed odoc.3.1.0
-> installed ppxlib.0.38.0
-> installed ppx_deriving.6.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2026-04-03 19:31.55 ---> saved as "187a2c5bbae95dc194fa41fc44c567b775bd4bdb06ab53d18533741830570311"

/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.1).
2026-04-03 19:31.56 ---> saved as "63cc54b11bd673fd396abd940e4c4aaa1be9f8e3b87942c71f7f524918b9c36c"

/src: (copy (src .) (dst /src/))
2026-04-03 19:31.56 ---> saved as "c6e0bee7a308b2eec3b223bdaf97254dba0c4daf78d96efe47c72d4a7ec08877"

/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.11/bin/odoc compile -I . -I ../../../../_doc/_odoc/pkg/gospel --pkg gospel -o gospelstdlib.odoc gospelstdlib.cmti)
File "../../src/stdlib/gospelstdlib.mli", line 38, character 6 to line 40, character 23:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 41, character 6 to line 43, character 18:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 44, character 6 to line 46, character 18:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 47, character 6 to line 49, character 18:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 56, character 6 to line 58, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 57, character 6 to line 59, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 59, character 6 to line 61, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 60, character 6 to line 62, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 61, character 6 to line 63, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 62, character 6 to line 64, character 46:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 63, character 6 to line 65, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 64, character 6 to line 66, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 66, character 6 to line 68, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 67, character 6 to line 69, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 69, character 6 to line 71, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 70, character 6 to line 72, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 74, character 6 to line 76, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 75, character 6 to line 77, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 76, character 6 to line 78, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 77, character 6 to line 79, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 81, character 6 to line 83, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 82, character 6 to line 84, character 46:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 83, character 6 to line 85, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 84, character 6 to line 86, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 86, character 6 to line 88, character 51:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 89, character 6 to line 91, character 52:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 93, character 6 to line 95, character 58:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 104, character 6 to line 107, character 15:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 107, character 6 to line 109, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 108, character 6 to line 110, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 112, character 6 to line 114, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 115, character 6 to line 117, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 120, character 6 to line 122, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 125, character 6 to line 127, character 54:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 128, character 6 to line 130, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 131, character 6 to line 133, character 82:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 132, character 6 to line 134, character 66:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 133, character 6 to line 135, character 66:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 136, character 8 to line 138, character 30:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 139, character 8 to line 141, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 142, character 8 to line 144, character 28:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 145, character 8 to line 147, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 148, character 8 to line 150, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 151, character 8 to line 153, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 155, character 8 to line 157, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 159, character 8 to line 161, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 163, character 8 to line 165, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 167, character 8 to line 169, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 170, character 8 to line 172, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 173, character 8 to line 175, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 177, character 8 to line 179, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 181, character 8 to line 183, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 185, character 8 to line 187, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 188, character 8 to line 190, character 56:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 191, character 8 to line 193, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 195, character 8 to line 197, character 81:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 199, character 8 to line 201, character 75:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 209, character 8 to line 211, character 26:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 212, character 8 to line 214, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 215, character 8 to line 217, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 219, character 8 to line 221, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 223, character 8 to line 225, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 226, character 8 to line 228, character 58:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 230, character 8 to line 232, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 233, character 8 to line 235, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 237, character 8 to line 239, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 241, character 8 to line 243, character 62:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 245, character 8 to line 247, character 71:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 249, character 8 to line 251, character 72:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 253, character 8 to line 255, character 68:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 257, character 8 to line 259, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 260, character 8 to line 262, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 263, character 8 to line 265, character 68:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 266, character 8 to line 268, character 68:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 269, character 8 to line 271, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 272, character 8 to line 275, character 15:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 275, character 8 to line 277, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 281, character 8 to line 283, character 27:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 284, character 8 to line 286, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 287, character 8 to line 289, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 290, character 8 to line 292, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 293, character 8 to line 295, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 297, character 8 to line 299, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 301, character 8 to line 303, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 304, character 8 to line 306, character 53:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 308, character 8 to line 310, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 312, character 8 to line 314, character 62:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 316, character 8 to line 318, character 71:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 320, character 8 to line 322, character 72:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 324, character 8 to line 326, character 67:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 328, character 8 to line 330, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 331, character 8 to line 333, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 334, character 8 to line 336, character 67:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 337, character 8 to line 339, character 67:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 340, character 8 to line 342, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 343, character 8 to line 345, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 344, character 8 to line 346, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 346, character 8 to line 349, character 15:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 348, character 8 to line 350, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 350, character 8 to line 352, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 352, character 8 to line 354, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 356, character 8 to line 358, character 60:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 365, character 8 to line 367, character 25:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 368, character 8 to line 370, character 54:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 371, character 8 to line 373, character 28:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 374, character 8 to line 376, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 377, character 8 to line 379, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 380, character 8 to line 382, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 383, character 8 to line 385, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 386, character 8 to line 388, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 389, character 8 to line 391, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 393, character 8 to line 395, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 397, character 8 to line 399, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 401, character 8 to line 403, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 404, character 8 to line 406, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 408, character 8 to line 410, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 412, character 8 to line 414, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 415, character 8 to line 417, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 419, character 8 to line 421, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 423, character 8 to line 425, character 63:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 427, character 8 to line 429, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 430, character 8 to line 432, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 434, character 8 to line 436, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 437, character 8 to line 439, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 441, character 8 to line 443, character 67:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 446, character 8 to line 448, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 450, character 8 to line 452, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 451, character 8 to line 453, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 453, character 8 to line 455, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 454, character 8 to line 456, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 459, character 6 to line 461, character 29:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 463, character 8 to line 465, character 25:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 466, character 8 to line 468, character 46:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 469, character 8 to line 471, character 28:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 472, character 8 to line 474, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 475, character 8 to line 477, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 478, character 8 to line 480, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 481, character 8 to line 483, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 484, character 8 to line 486, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 487, character 8 to line 489, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 490, character 8 to line 492, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 493, character 8 to line 495, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 496, character 8 to line 498, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 499, character 8 to line 501, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 502, character 8 to line 504, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 505, character 8 to line 507, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 508, character 8 to line 510, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 512, character 8 to line 514, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 516, character 8 to line 518, character 63:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 520, character 8 to line 522, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 523, character 8 to line 525, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 527, character 8 to line 529, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 530, character 8 to line 532, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 534, character 8 to line 536, character 67:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 539, character 8 to line 541, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 540, character 8 to line 542, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 542, character 8 to line 544, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 543, character 8 to line 545, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 546, character 6 to line 548, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 554, character 8 to line 563, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 572, character 8 to line 574, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 574, character 8 to line 576, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 576, character 8 to line 578, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 578, character 8 to line 580, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../src/stdlib/gospelstdlib.mli", line 580, character 8 to line 582, character 42:
Warning: Code blocks should be indented at the opening `{`.
(cd _build/default/_doc/_odocls/gospel && /home/opam/.opam/4.11/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 gospelstdlib.odocl ../../../docs/stdlib/.gospelstdlib.objs/byte/gospelstdlib.odoc)
File "../../src/stdlib/gospelstdlib.mli", line 338, characters 15-25:
Warning: Failed to resolve reference unresolvedroot(_exists) Couldn't find "_exists"
File "../../src/stdlib/gospelstdlib.mli", line 335, characters 15-25:
Warning: Failed to resolve reference unresolvedroot(for_all) Couldn't find "for_all"
File "../../src/stdlib/gospelstdlib.mli", line 313, characters 15-21:
Warning: Failed to resolve reference unresolvedroot(map) Couldn't find "map"
File "../../src/stdlib/gospelstdlib.mli", line 302, characters 15-24:
Warning: Failed to resolve reference unresolvedroot(append) Couldn't find "append"
File "../../src/stdlib/gospelstdlib.mli", line 267, characters 15-25:
Warning: Failed to resolve reference unresolvedroot(_exists) Couldn't find "_exists"
File "../../src/stdlib/gospelstdlib.mli", line 264, characters 15-25:
Warning: Failed to resolve reference unresolvedroot(for_all) Couldn't find "for_all"
File "../../src/stdlib/gospelstdlib.mli", line 242, characters 15-21:
Warning: Failed to resolve reference unresolvedroot(map) Couldn't find "map"
File "../../src/stdlib/gospelstdlib.mli", line 146, characters 35-44:
Warning: Failed to resolve reference unresolvedroot(return) Couldn't find "return"
File "../../src/stdlib/gospelstdlib.mli", line 137, characters 20-31:
Warning: Failed to resolve reference unresolvedroot(sequence) Couldn't find "sequence"
2026-04-03 19:32.02 ---> saved as "e98fe3b69c6a18da2e84be48c1141e44247c05c51faf805c92d32d6bb6215c70"
Job succeeded
2026-04-03 19:32.02: Job succeeded