Organisations koonwen obatcher b41159 (main)(lint-doc)
(lint-doc)

Created at Jan 09 21:46 +00:00
0s in queue
Finished at Jan 10 00:07 +00:00
b41159
Ran for 0s
Link Copied
Code Copied
Logs

Show raw logs
2026-01-09 21:46.01: New job: test koonwen/obatcher https://github.com/koonwen/obatcher.git#refs/heads/main (b41159255c46bbbb1b7fe91f7ce91148776dbc35) (linux-x86_64:(lint-doc))
Base: ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb
Opam project lint documentation


To reproduce locally:


git clone --recursive "https://github.com/koonwen/obatcher.git" -b "main" && cd "obatcher" && git reset --hard b4115925
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb
# debian-13-5.0_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 a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 obatcher.opam ./
RUN opam pin add -yn obatcher.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.2.1.0 containers.3.16 csexp.1.5.2 dune.3.20.2 dune-configurator.3.20.2 either.1.0.0 fmt.0.11.0 logs.0.10.0 multicore-magic.2.3.1 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.91 qcheck-alcotest.0.91 qcheck-core.0.91 qcheck-ounit.0.91 re.1.14.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.1.1 uutf.1.0.4"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y obatcher.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-01-09 21:46.01: Using cache hint "koonwen/obatcher-ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb-debian-13-5.0_opam-2.5-91125e59d5f3d67d953d503ec2c84c94"
2026-01-09 21:46.01: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb)
(comment debian-13-5.0_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 a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src obatcher.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn obatcher.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.2.1.0 containers.3.16 csexp.1.5.2 dune.3.20.2 dune-configurator.3.20.2 either.1.0.0 fmt.0.11.0 logs.0.10.0 multicore-magic.2.3.1 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.91 qcheck-alcotest.0.91 qcheck-core.0.91 qcheck-ounit.0.91 re.1.14.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.1.1 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 obatcher.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-01-09 21:46.01: Waiting for resource in pool OCluster
2026-01-10 00:06.55: Waiting for worker…
2026-01-10 00:07.10: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at b411592 Update README.md


(from ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb)
2026-01-10 00:07.11 ---> using "115e19c94ffea8f0289657e7bdf7e8af959005f00162f42ce222e9431770c297" from cache


/: (comment debian-13-5.0_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-01-10 00:07.11 ---> using "e2d1fcba138c65d0b368e6af9bef77504436de6e0c72fb995ca6601e1ef18760" 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
2026-01-10 00:07.11 ---> using "dd9430ca301e96434d9ccda11866a10391f3c5a8ad3fc73179a3d81aa01c31cc" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-90-generic
The OCaml toplevel, version 5.0.0
2.2.1
2026-01-10 00:07.11 ---> using "ae6644479d064e098c36b1cafb924ee71689af00a0b8d7191550c81756c0d81f" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-01-10 00:07.11 ---> using "840afb74a4041c85210ff4165e99e80cdf488386f58d8496e9c080416cd38320" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
ee48e882f0..a6b2f19780  master     -> origin/master
error: unable to unlink old '.gitattributes': No space left on device
error: unable to unlink old '.github/dependabot.yml': No space left on device
error: unable to unlink old '.github/workflows/unlabel.yml': No space left on device
error: unable to unlink old '.github/workflows/windows.yml': No space left on device
error: unable to unlink old '.gitignore': No space left on device
error: unable to unlink old 'CHANGES.md': No space left on device
error: unable to unlink old 'CONTRIBUTING.md': No space left on device
error: unable to unlink old 'COPYING': No space left on device
error: unable to unlink old 'README.md': No space left on device
error: unable to unlink old 'governance/README.md': No space left on device
error: unable to unlink old 'governance/policies/README.md': No space left on device
error: unable to unlink old 'governance/policies/archiving.md': No space left on device
error: unable to unlink old 'packages/0install-gtk/0install-gtk.2.15.2/opam': No space left on device
error: unable to unlink old 'packages/0install-gtk/0install-gtk.2.16/opam': No space left on device
error: unable to unlink old 'packages/0install-gtk/0install-gtk.2.17/opam': No space left on device
error: unable to unlink old 'packages/0install-gtk/0install-gtk.2.18/opam': No space left on device
error: unable to unlink old 'packages/0install-solver/0install-solver.2.17/opam': No space left on device
error: unable to unlink old 'packages/0install-solver/0install-solver.2.18/opam': No space left on device
error: unable to unlink old 'packages/0install/0install.2.14.1/opam': No space left on device
error: unable to unlink old 'packages/0install/0install.2.15.1/opam': No space left on device
error: unable to unlink old 'packages/0install/0install.2.15.2/opam': No space left on device
error: unable to unlink old 'packages/0install/0install.2.16/opam': No space left on device
error: unable to unlink old 'packages/0install/0install.2.17/opam': No space left on device
error: unable to unlink old 'packages/0install/0install.2.18/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.7/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.8.1/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.8.2/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.8.3/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.8.4/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.8.5/opam': No space left on device
error: unable to unlink old 'packages/ANSITerminal/ANSITerminal.0.8/opam': No space left on device
error: unable to unlink old 'packages/BetterErrors/BetterErrors.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/CamelCase/CamelCase.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/CamelCase/CamelCase.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/DAGaml/DAGaml.0.01/opam': No space left on device
error: unable to unlink old 'packages/DAGaml/DAGaml.0.02/opam': No space left on device
error: unable to unlink old 'packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam': No space left on device
error: unable to unlink old 'packages/DkSDKFFIOCaml_StdExport-linux_x86_64/DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1/opam': No space left on device
error: unable to unlink old 'packages/FPauth-core/FPauth-core.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/FPauth-responses/FPauth-responses.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/FPauth-strategies/FPauth-strategies.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/FPauth/FPauth.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/FrontC/FrontC.3.4.1/opam': No space left on device
error: unable to unlink old 'packages/FrontC/FrontC.3.4.2/opam': No space left on device
error: unable to unlink old 'packages/FrontC/FrontC.3.4.3-1/opam': No space left on device
error: unable to unlink old 'packages/FrontC/FrontC.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/FrontC/FrontC.4.1.0/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.5.1/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.5.2/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.5.3/opam': No space left on device
error: unable to unlink old 'packages/GT/GT.0.5.4/opam': No space left on device
error: unable to unlink old 'packages/General/General.0.7.0/opam': No space left on device
error: unable to unlink old 'packages/GuaCaml/GuaCaml.0.02/opam': No space left on device
error: unable to unlink old 'packages/GuaCaml/GuaCaml.0.03.01/opam': No space left on device
error: unable to unlink old 'packages/GuaCaml/GuaCaml.0.03/opam': No space left on device
error: unable to unlink old 'packages/GuaCaml/GuaCaml.0.04/opam': No space left on device
error: unable to unlink old 'packages/GuaCaml/GuaCaml.0.05/opam': No space left on device
error: unable to unlink old 'packages/ISO3166/ISO3166.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.2.3/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.2.4/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.2.5/opam': No space left on device
error: unable to unlink old 'packages/ISO8601/ISO8601.0.2.6/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cache/MlFront_Cache.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cache/MlFront_Cache.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cache/MlFront_Cache.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cli/MlFront_Cli.0.4.0~prerel7/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cli/MlFront_Cli.2.1.4~prerel2/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cli/MlFront_Cli.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cli/MlFront_Cli.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Cli/MlFront_Cli.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Codept/MlFront_Codept.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Config/MlFront_Config.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Config/MlFront_Config.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Core/MlFront_Core.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Core/MlFront_Core.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Core/MlFront_Core.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Errors/MlFront_Errors.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Errors/MlFront_Errors.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Errors/MlFront_Errors.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Exec/MlFront_Exec.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Logs/MlFront_Logs.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Logs/MlFront_Logs.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Manip/MlFront_Manip.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Manip/MlFront_Manip.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Manip/MlFront_Manip.2.4.2.30/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Signify/MlFront_Signify.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/MlFront_Signify/MlFront_Signify.2.4.2.30/opam': No space left on device
error: unable to create file packages/MlFront_ZipFile/MlFront_ZipFile.2.4.2.30/opam: No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.3.2/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/OCADml/OCADml.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/OCanren-ppx/OCanren-ppx.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/OCanren-ppx/OCanren-ppx.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/OCanren/OCanren.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/OSCADml/OSCADml.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/OSCADml/OSCADml.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/OSCADml/OSCADml.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/OSCADml/OSCADml.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/OSCADml/OSCADml.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/OSCADml/OSCADml.0.2.3/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.2.1.1/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.2.1.2/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.3.0.1/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.3.0.2/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.3.0.4/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.3.1.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.4.0.1/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.4.1.0/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.4.1.1/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.4.1.3/opam': No space left on device
error: unable to unlink old 'packages/SZXX/SZXX.4.2.0/opam': No space left on device
error: unable to unlink old 'packages/Snowflake/Snowflake.0.01/opam': No space left on device
error: unable to unlink old 'packages/Snowflake/Snowflake.0.02.01/opam': No space left on device
error: unable to unlink old 'packages/Snowflake/Snowflake.0.02.02/opam': No space left on device
error: unable to unlink old 'packages/Snowflake/Snowflake.0.02.03/opam': No space left on device
error: unable to unlink old 'packages/Snowflake/Snowflake.0.02/opam': No space left on device
error: unable to unlink old 'packages/SourceCode_ASCII/SourceCode_ASCII.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/TCSLib/TCSLib.0.1/opam': No space left on device
error: unable to unlink old 'packages/TCSLib/TCSLib.0.2/opam': No space left on device
error: unable to unlink old 'packages/TCSLib/TCSLib.0.3/opam': No space left on device
error: unable to unlink old 'packages/TCSLib/TCSLib.0.5/opam': No space left on device
error: unable to unlink old 'packages/aacplus/aacplus.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/aacplus/aacplus.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/aarch64-esperanto/aarch64-esperanto.0.0.5/opam': No space left on device
error: unable to unlink old 'packages/aarch64-esperanto/aarch64-esperanto.0.0.6/opam': No space left on device
error: unable to unlink old 'packages/abella/abella.2.0.2/opam': No space left on device
error: unable to unlink old 'packages/abella/abella.2.0.7/opam': No space left on device
error: unable to unlink old 'packages/abella/abella.2.0.8/opam': No space left on device
error: unable to unlink old 'packages/absolute/absolute.0.1/opam': No space left on device
error: unable to unlink old 'packages/absolute/absolute.0.2/opam': No space left on device
error: unable to unlink old 'packages/absolute/absolute.0.3/opam': No space left on device
error: unable to unlink old 'packages/abstract_algebra/abstract_algebra.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/abstract_algebra/abstract_algebra.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/abstract_algebra/abstract_algebra.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/accessor/accessor.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/accessor/accessor.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/accessor/accessor.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/accessor/accessor.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/accessor/accessor.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_async/accessor_async.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_async/accessor_async.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/accessor_async/accessor_async.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_async/accessor_async.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_async/accessor_async.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_base/accessor_base.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_base/accessor_base.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/accessor_base/accessor_base.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_base/accessor_base.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_base/accessor_base.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_core/accessor_core.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_core/accessor_core.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/accessor_core/accessor_core.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_core/accessor_core.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/accessor_core/accessor_core.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/acgtk/acgtk.1.5.3/opam': No space left on device
error: unable to unlink old 'packages/acgtk/acgtk.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/acgtk/acgtk.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/aches-lwt/aches-lwt.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/aches-lwt/aches-lwt.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/aches/aches.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/aches/aches.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/acp4/acp4.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/acp4/acp4.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/acpc/acpc.1.1.1/opam': No space left on device
error: unable to unlink old 'packages/acpc/acpc.1.2.3/opam': No space left on device
error: unable to unlink old 'packages/acpc/acpc.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/activitypub/activitypub.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/activitypub_client/activitypub_client.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/activitypub_gui/activitypub_gui.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/activitypub_server/activitypub_server.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/activitypub_server_gui/activitypub_server_gui.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/adelfa/adelfa.0.1/opam': No space left on device
error: unable to unlink old 'packages/adobe_font_metrics/adobe_font_metrics.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/advi/advi.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/aez/aez.0.3/opam': No space left on device
error: unable to unlink old 'packages/afl-persistent/afl-persistent.1.0/opam': No space left on device
error: unable to unlink old 'packages/afl-persistent/afl-persistent.1.1/opam': No space left on device
error: unable to unlink old 'packages/afl-persistent/afl-persistent.1.2/opam': No space left on device
error: unable to unlink old 'packages/afl-persistent/afl-persistent.1.3/opam': No space left on device
error: unable to unlink old 'packages/afl-persistent/afl-persistent.1.4/opam': No space left on device
error: unable to unlink old 'packages/afl/afl.2.52b/opam': No space left on device
error: unable to unlink old 'packages/afl/afl.2.57b/opam': No space left on device
error: unable to unlink old 'packages/ago/ago.0.1/opam': No space left on device
error: unable to unlink old 'packages/ago/ago.0.2/opam': No space left on device
error: unable to unlink old 'packages/ago/ago.0.3/opam': No space left on device
error: unable to unlink old 'packages/ago/ago.0.4/opam': No space left on device
error: unable to unlink old 'packages/agrid/agrid.0.1/opam': No space left on device
error: unable to unlink old 'packages/ahrocksdb/ahrocksdb.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/ahrocksdb/ahrocksdb.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/ahrocksdb/ahrocksdb.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/aifad/aifad.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/aifad/aifad.2.2.1/opam': No space left on device
error: unable to unlink old 'packages/aifad/aifad.2.2.2/opam': No space left on device
error: unable to unlink old 'packages/aifad/aifad.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/aifad/aifad.2.3.1/opam': No space left on device
error: unable to unlink old 'packages/aifad/aifad.2.3.2/opam': No space left on device
error: unable to unlink old 'packages/aio/aio.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/alba/alba.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/alba/alba.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/alba/alba.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/alba/alba.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/alba/alba.0.4.4/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.1.4.3/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.1.5.4/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.4.1/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.5.1/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.6.0/opam': No space left on device
error: unable to unlink old 'packages/albatross/albatross.2.6.1/opam': No space left on device
fatal: cannot create directory at 'packages/albatross/albatross.2.6.2': No space left on device
"/usr/bin/env" "bash" "-c" "cd ~/opam-repository && (git cat-file -e a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && git log --no-decorate -n1 --oneline && opam update -u" failed with exit status 128
2026-01-10 00:07.14: Job failed: Failed: Build failed