Build:
2026-01-27 19:21.39: New job: test ocluster-worker.0.3.0 with mirage-runtime.4.7.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29297/head (bec96dd4b29b0e3eb148af9966895e70442e68e2)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29297/head" && git reset --hard bec96dd4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn mirage-runtime.4.7.0 4.7.0
RUN opam reinstall mirage-runtime.4.7.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mirage-runtime.4.7.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall ocluster-worker.0.3.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocluster-worker.0.3.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test ocluster-worker.0.3.0) || true
RUN opam reinstall --with-test --verbose ocluster-worker.0.3.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocluster-worker.0.3.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-27 19:21.39: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.7.0-ocluster-worker.0.3.0-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.39: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn mirage-runtime.4.7.0 4.7.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.7.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mirage-runtime.4.7.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocluster-worker.0.3.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocluster-worker.0.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test ocluster-worker.0.3.0) || true"))
(run (shell "opam reinstall --with-test --verbose ocluster-worker.0.3.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocluster-worker.0.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-27 19:21.39: Waiting for resource in pool OCluster
2026-01-27 19:33.32: Waiting for worker…
2026-01-27 19:34.14: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file packages/0install-gtk/0install-gtk.2.15.2/opam: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.18/opam: No space left on device
error: unable to create file packages/0install/0install.2.14.1/opam: No space left on device
error: unable to create file packages/0install/0install.2.15.1/opam: No space left on device
error: unable to create file packages/CamelCase/CamelCase.0.3.0/opam: No space left on device
error: unable to create file packages/FPauth-responses/FPauth-responses.1.0.0/opam: No space left on device
error: unable to create file packages/FPauth-strategies/FPauth-strategies.1.0.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.3/opam: No space left on device
error: unable to create file packages/General/General.0.7.0/opam: No space left on device
error: unable to create file packages/ISO3166/ISO3166.0.1.0/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.2/opam: No space left on device
error: unable to create file packages/MlFront_Cli/MlFront_Cli.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Codept/MlFront_Codept.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Config/MlFront_Config.2.3.1/opam: No space left on device
error: unable to create file packages/MlFront_Config/MlFront_Config.2.4.2.30/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.0/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.1.1/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.1.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.1.1/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02.01/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02.02/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02.03/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02/opam: No space left on device
error: unable to create file packages/aarch64-esperanto/aarch64-esperanto.0.0.6/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.17.0/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.14.1/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.15.0/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.17.0/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.14.0/opam: No space left on device
error: unable to create file packages/acpc/acpc.1.1.1/opam: No space left on device
error: unable to create file packages/acpc/acpc.1.2.3/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.3/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.4/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.0/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.2/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.7.0/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.9.0/opam: No space left on device
error: unable to create file packages/alcotest-js/alcotest-js.1.9.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.0.1/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.5.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.7.0/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.1.1.0/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.2.0.0/opam: No space left on device
error: unable to create file packages/alonzo/alonzo.0.4.0/opam: No space left on device
error: unable to create file packages/alsa/alsa.0.2.3/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.1/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.0.0/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.1.0/opam: No space left on device
error: unable to create file packages/ambient-context-lwt/ambient-context-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.0.3/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.1.0/opam: No space left on device
error: unable to create file packages/anders/anders.0.7.2/opam: No space left on device
error: unable to create file packages/anders/anders.1.1.1/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.8.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.13.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.14.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.6.0/opam: No space left on device
error: unable to create file packages/anycache/anycache.0.7.4/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.3/opam: No space left on device
error: unable to create file packages/apero-time/apero-time.0.4.7/opam: No space left on device
error: unable to create file packages/apron/apron.0.9.14/opam: No space left on device
error: unable to create file packages/apron/apron.20160108/opam: No space left on device
error: unable to create file packages/apron/apron.20160125/opam: No space left on device
error: unable to create file packages/arc/arc.0.0.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.6/opam: No space left on device
error: unable to create file packages/archimedes/archimedes.0.4.18/opam: No space left on device
error: unable to create file packages/argon2/argon2.1.0.0/opam: No space left on device
error: unable to create file packages/argon2/argon2.1.0.1/opam: No space left on device
error: unable to create file packages/argon2/argon2.1.0.2/opam: No space left on device
error: unable to create file packages/art/art.0.1.1/opam: No space left on device
error: unable to create file packages/art/art.0.3.0/opam: No space left on device
error: unable to create file packages/ascend/ascend.0.1.0/opam: No space left on device
error: unable to create file packages/ask/ask.0.2.0/opam: No space left on device
error: unable to create file packages/asl/asl.0.10/opam: No space left on device
error: unable to create file packages/asl/asl.0.6/opam: No space left on device
error: unable to create file packages/asli/asli.0.1/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.3.1/opam: No space left on device
error: unable to create file packages/async/async.v0.12.0/opam: No space left on device
error: unable to create file packages/async/async.v0.13.0/opam: No space left on device
error: unable to create file packages/async/async.v0.14.0/opam: No space left on device
error: unable to create file packages/async/async.v0.15.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.14.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.16.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.15.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.16.0/opam: No space left on device
error: unable to create file packages/async_rpc_websocket/async_rpc_websocket.v0.17.0/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.13.0/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.14.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.12.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.13.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.14.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.12.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.17.0/opam: No space left on device
error: unable to create file packages/async_websocket/async_websocket.v0.13.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.12.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.13.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.5.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.7.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.9.1/opam: No space left on device
error: unable to create file packages/atd2cconv/atd2cconv.0.0.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.15.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.3.0.1/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.0.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.15.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.16.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.2.1/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.5.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.1.10.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.9.1/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.13.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.14.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.2.1/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.3.3/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.6.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.3.0.1/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.11.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.12.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.13.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.15.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.6.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.7.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.8.0/opam: No space left on device
error: unable to create file packages/autofonce/autofonce.0.8/opam: No space left on device
error: unable to create file packages/autofonce_m4/autofonce_m4.0.8/opam: No space left on device
error: unable to create file packages/avro-compiler/avro-compiler.0.1/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.0.5/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.3.1/opam: No space left on device
error: unable to create file packages/b0/b0.0.0.6/opam: No space left on device
error: unable to create file packages/babel/babel.v0.16.0/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.0/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.1/opam: No space left on device
error: unable to create file packages/bag/bag.1.0.0/opam: No space left on device
error: unable to create file packages/baguette_sharp/baguette_sharp.2.0.4/opam: No space left on device
error: unable to create file packages/bap-arm/bap-arm.2.5.0/opam: No space left on device
error: unable to create file packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam: No space left on device
error: unable to create file packages/bap-beagle-strings/bap-beagle-strings.2.5.0/opam: No space left on device
error: unable to create file packages/bap-build/bap-build.2.3.0/opam: No space left on device
error: unable to create file packages/bap-bundle/bap-bundle.2.2.0/opam: No space left on device
error: unable to create file packages/bap-bundle/bap-bundle.2.4.0/opam: No space left on device
error: unable to create file packages/bap-callsites/bap-callsites.2.3.0/opam: No space left on device
error: unable to create file packages/bap-callsites/bap-callsites.2.5.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.2.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.3.0/opam: No space left on device
error: unable to create file packages/bap-emacs-dot/bap-emacs-dot.0.1/opam: No space left on device
error: unable to create file packages/bap-ghidra/bap-ghidra.2.4.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.2.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.5.0/opam: No space left on device
error: unable to create file packages/bap-mc/bap-mc.2.1.0/opam: No space left on device
error: unable to create file packages/bap-objdump/bap-objdump.2.2.0/opam: No space left on device
error: unable to create file packages/bap-objdump/bap-objdump.2.4.0/opam: No space left on device
error: unable to create file packages/bap-objdump/bap-objdump.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-loader/bap-primus-loader.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-loader/bap-primus-loader.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.1.0/opam: No space left on device
error: unable to create file packages/bap-std/bap-std.2.2.0/opam: No space left on device
error: unable to create file packages/bap-symbol-reader/bap-symbol-reader.2.1.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.2.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.1.0/opam: No space left on device
error: unable to create file packages/bap-trivial-condition-form/bap-trivial-condition-form.2.5.0/opam: No space left on device
error: unable to create file packages/base-threads/base-threads.base/opam: No space left on device
error: unable to create file packages/base/base.v0.16.0/opam: No space left on device
error: unable to create file packages/base/base.v0.16.1/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.15.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.16.0/opam: No space left on device
error: unable to create file packages/bastet_async/bastet_async.0.1.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.2.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.3.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.9.0/opam: No space left on device
error: unable to create file packages/bech32/bech32.0.1/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.7/opam: No space left on device
error: unable to create file packages/bestline/bestline.0.2.1/opam: No space left on device
error: unable to create file packages/bigdecimal/bigdecimal.v0.15.0/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.16.0/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.4.0/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.3.0/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.3.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.10.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.30.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.10.0/opam: No space left on device
error: unable to create file packages/biocaml/biocaml.0.11.0/opam: No space left on device
error: unable to create file packages/bisect-summary/bisect-summary.0.3/opam: No space left on device
error: unable to create file packages/bitlib/bitlib.1.0/opam: No space left on device
error: unable to create file packages/bitmasks/bitmasks.1.2.0/opam: No space left on device
error: unable to create file packages/bitvec-sexp/bitvec-sexp.2.2.0/opam: No space left on device
error: unable to create file packages/bitvec-sexp/bitvec-sexp.2.3.0/opam: No space left on device
error: unable to create file packages/bitvec-sexp/bitvec-sexp.2.4.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.5.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam: No space left on device
error: unable to create file packages/blake3/blake3.0.3/opam: No space left on device
error: unable to create file packages/bloomf/bloomf.0.1.0/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.2.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.18.0/opam: No space left on device
error: unable to create file packages/bnfgen/bnfgen.4.0.0/opam: No space left on device
error: unable to create file packages/bogue/bogue.20240225/opam: No space left on device
error: unable to create file packages/boulangerie/boulangerie.1.0.1/opam: No space left on device
error: unable to create file packages/brotli/brotli.1.2.2/opam: No space left on device
error: unable to create file packages/brotli/brotli.1.3.0/opam: No space left on device
error: unable to create file packages/bsdowl/bsdowl.3.0.0-20150830/opam: No space left on device
error: unable to create file packages/bun/bun.0.3.4/opam: No space left on device
error: unable to create file packages/bun/bun.0.3/opam: No space left on device
error: unable to create file packages/bwd/bwd.1.0.0/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.0/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.104/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.115/opam: No space left on device
error: unable to create file packages/cachet-lwt/cachet-lwt.0.0.3/opam: No space left on device
error: unable to create file packages/caisar/caisar.0.1/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.3/opam: No space left on device
error: unable to create file packages/caml-mode/caml-mode.4.9/opam: No space left on device
error: unable to create file packages/camlbz2/camlbz2.0.7.0/opam: No space left on device
error: unable to create file packages/camlkit-gui/camlkit-gui.0.2.1/opam: No space left on device
error: unable to create file packages/camlmix/camlmix.1.3.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+4/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+7/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.04+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.05+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.13+1/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.2.1/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.5.3/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.8/opam: No space left on device
error: unable to create file packages/camomile/camomile.0.8.6/opam: No space left on device
error: unable to create file packages/camomile/camomile.1.0.0/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.1/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.2/opam: No space left on device
error: unable to create file packages/capitalization/capitalization.v0.17.0/opam: No space left on device
error: unable to create file packages/capnp-rpc-lwt/capnp-rpc-lwt.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc-net/capnp-rpc-net.1.2.4/opam: No space left on device
error: unable to create file packages/capnp-rpc-net/capnp-rpc-net.2.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.2.2/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.4.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.10.2/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.7.0/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.1.2.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.10.2/opam: No space left on device
error: unable to create file packages/cf/cf.0.5.0/opam: No space left on device
error: unable to create file packages/cf_workers/cf_workers.0.1.5/opam: No space left on device
error: unable to create file packages/cfg/cfg.2.1.0/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.1.0/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.1.5.0/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.1.6.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.3.2/opam: No space left on device
error: unable to create file packages/choice/choice.0.4/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.10.0/opam: No space left on device
error: unable to create file packages/clangml-transforms/clangml-transforms.0.26/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.7.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.7.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.8.0/opam: No space left on device
error: unable to create file packages/claudius/claudius.1.2.1/opam: No space left on device
error: unable to create file packages/clim-ppx/clim-ppx.0.3.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.1.8.0/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.1.0.4/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.1.3.0/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.2.0.0/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.1.0/opam: No space left on device
error: unable to create file packages/codicons/codicons.v0.17.0/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.2.1.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.5/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.11.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.12.0/opam: No space left on device
error: unable to create file packages/command_rpc/command_rpc.v0.17.0/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.1/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.4/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.1/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.8.0.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.1.3.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.1.5.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.1.3.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.6.2.3/opam: No space left on device
error: unable to create file packages/conduit/conduit.7.0.0/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.3/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.7/opam: No space left on device
error: unable to create file packages/conf-cairo/conf-cairo.1/opam: No space left on device
error: unable to create file packages/conf-calcium/conf-calcium.1/opam: No space left on device
error: unable to create file packages/conf-fts/conf-fts.1/opam: No space left on device
error: unable to create file packages/conf-gcc/conf-gcc.1.0/opam: No space left on device
error: unable to create file packages/conf-gnomecanvas/conf-gnomecanvas.2/opam: No space left on device
error: unable to create file packages/conf-lame/conf-lame.1/opam: No space left on device
error: unable to create file packages/conf-libcurl/conf-libcurl.2/opam: No space left on device
error: unable to create file packages/conf-libglu/conf-libglu.1/opam: No space left on device
error: unable to create file packages/conf-libgsasl/conf-libgsasl.1/opam: No space left on device
error: unable to create file packages/conf-libsamplerate/conf-libsamplerate.2/opam: No space left on device
error: unable to create file packages/conf-libsodium/conf-libsodium.1/opam: No space left on device
error: unable to create file packages/conf-liburing/conf-liburing.0.1.0/opam: No space left on device
error: unable to create file packages/conf-linux-libc-dev/conf-linux-libc-dev.0/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.14.0.6/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.15/opam: No space left on device
error: unable to create file packages/conf-mbedtls/conf-mbedtls.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-glade-i686/conf-mingw-w64-glade-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-glade-x86_64/conf-mingw-w64-glade-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtksourceview3-i686/conf-mingw-w64-gtksourceview3-i686.1/opam: No space left on device
error: unable to create file packages/conf-mpfr/conf-mpfr.2/opam: No space left on device
error: unable to create file packages/conf-mpfr/conf-mpfr.3/opam: No space left on device
error: unable to create file packages/conf-ode/conf-ode.1/opam: No space left on device
error: unable to create file packages/conf-opencc1/conf-opencc1.1/opam: No space left on device
error: unable to create file packages/conf-opencc1_1/conf-opencc1_1.1/opam: No space left on device
error: unable to create file packages/conf-openimageio/conf-openimageio.1/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.3/opam: No space left on device
error: unable to create file packages/conf-protoc/conf-protoc.1.0.0/opam: No space left on device
error: unable to create file packages/conf-protoc/conf-protoc.4.4.0/opam: No space left on device
error: unable to create file packages/conf-samplerate/conf-samplerate.1/opam: No space left on device
error: unable to create file packages/conf-unwind/conf-unwind.0/opam: No space left on device
error: unable to create file packages/config/config.0.0.1/opam: No space left on device
error: unable to create file packages/conjury/conjury.2.0/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.11/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.9/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.8/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.17.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.18.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.9.1.0/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.2+8.19/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.4/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.20.0+0.20.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.3/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.19.2/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.20.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.8.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.20.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.9.0.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.9.0.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.10.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.15.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-background-mode/cordova-plugin-background-mode.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-loading-spinner/cordova-plugin-loading-spinner.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-screen-orientation/cordova-plugin-screen-orientation.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-sim-card/cordova-plugin-sim-card.1.0/opam: No space left on device
error: unable to create file packages/core/core.v0.14.1/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.17.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.17.0/opam: No space left on device
error: unable to create file packages/corecount/corecount.1.0.0/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.5/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.8/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.9/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.02/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.04/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.2.2/opam: No space left on device
error: unable to create file packages/css/css.0.2.0/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.5.2.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.1/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.2/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.16.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.21.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.17.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.18.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.0/opam: No space left on device
error: unable to create file packages/cumulus/cumulus.0.0.1/opam: No space left on device
error: unable to create file packages/cure2/cure2.1.0/opam: No space left on device
error: unable to create file packages/current/current.0.7.3/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.1/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.2/opam: No space left on device
error: unable to create file packages/current_github/current_github.0.7.1/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.3.0/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.7.1/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.7.2/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.8/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.9/opam: No space left on device
error: unable to create file packages/curve-sampling/curve-sampling.0.2/opam: No space left on device
error: unable to create file packages/cvc5/cvc5.1.1.3~unreleased/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.6/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.1/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.1.0.0/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.1.0.1/opam: No space left on device
error: unable to create file packages/dataframe/dataframe.0.1/opam: No space left on device
error: unable to create file packages/dbase4/dbase4.0.2.0/opam: No space left on device
error: unable to create file packages/dbf/dbf.0.2.0/opam: No space left on device
error: unable to create file packages/dblp-api/dblp-api.0.1.1/opam: No space left on device
error: unable to create file packages/dbm/dbm.1.4/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.1.2/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.1.2/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.3.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.1.0/opam: No space left on device
error: unable to create file packages/dedent/dedent.v0.16.0/opam: No space left on device
error: unable to create file packages/delimcc_of_fxhandler/delimcc_of_fxhandler.0.1/opam: No space left on device
error: unable to create file packages/diet/diet.0.2/opam: No space left on device
error: unable to create file packages/diffast-core/diffast-core.0.1/opam: No space left on device
error: unable to create file packages/diffast-git/diffast-git.0.1/opam: No space left on device
error: unable to create file packages/diffast-langs-common/diffast-langs-common.0.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java-spec/diffast-langs-java-spec.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java-spec/diffast-langs-java-spec.0.3.6/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.4.1/opam: No space left on device
error: unable to create file packages/dkml-component-staging-opam32/dkml-component-staging-opam32.2.2.0~alpha0~20221104/opam: No space left on device
error: unable to create file packages/dkml-component-staging-opam32/dkml-component-staging-opam32.2.2.0~dkml20220801/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.3.1/opam: No space left on device
error: unable to create file packages/dkml-runtime-common/dkml-runtime-common.2.0.3/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.8.0.0/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.7.0.3/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.8.0.0/opam: No space left on device
error: unable to create file packages/dns/dns.9.1.0/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.0.2/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.4/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.3/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.4/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.3.0.0/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.1/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.10/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.4.1/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.9/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.0.2.0/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.4.1/opam: No space left on device
error: unable to create file packages/domainpc/domainpc.0.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.7.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.4.1-503/opam: No space left on device
error: unable to create file packages/dream-cli/dream-cli.0.1.0/opam: No space left on device
error: unable to create file packages/dream-encoding/dream-encoding.0.1.0/opam: No space left on device
error: unable to create file packages/dream-encoding/dream-encoding.0.2.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.3.1/opam: No space left on device
error: unable to create file packages/drom/drom.0.6.0/opam: No space left on device
error: unable to create file packages/drom/drom.0.8.0/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.4/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.5/opam: No space left on device
error: unable to create file packages/dune-cargo-build/dune-cargo-build.0.2.0/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.13.1/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.17.2/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.15.3/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.17.2/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.15.3/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.19.1/opam: No space left on device
error: unable to create file packages/dune-site/dune-site.3.20.0/opam: No space left on device
error: unable to create file packages/dune/dune.2.3.0/opam: No space left on device
error: unable to create file packages/dynamic_gc/dynamic_gc.0.1.0/opam: No space left on device
error: unable to create file packages/dypgen/dypgen.0.2.1/opam: No space left on device
error: unable to create file packages/earley/earley.1.0.1/opam: No space left on device
error: unable to create file packages/earley/earley.1.0.2/opam: No space left on device
error: unable to create file packages/ecaml/ecaml.v0.12.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.1/opam: No space left on device
error: unable to create file packages/eio/eio.0.12/opam: No space left on device
error: unable to create file packages/eio/eio.0.13/opam: No space left on device
error: unable to create file packages/eio/eio.1.3/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.0/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.1.3/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.11/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.12/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.13/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.0.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.11.0/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.0/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.4/opam: No space left on device
error: unable to create file packages/emile/emile.0.4/opam: No space left on device
error: unable to create file packages/emile/emile.0.7/opam: No space left on device
error: unable to create file packages/encore/encore.0.2/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.6/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.7/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.2/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.4/opam: No space left on device
error: unable to create file packages/esperanto/esperanto.0.0.3/opam: No space left on device
error: unable to create file packages/esperanto/esperanto.0.0.4/opam: No space left on device
error: unable to create file packages/euler/euler.0.1/opam: No space left on device
error: unable to create file packages/expect_test_helpers/expect_test_helpers.v0.13.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.15.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_core/expect_test_helpers_core.v0.16.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_core/expect_test_helpers_core.v0.17.0/opam: No space left on device
error: unable to create file packages/extism/extism.0.3.0/opam: No space left on device
error: unable to create file packages/ezjs_jquery/ezjs_jquery.0.1/opam: No space left on device
error: unable to create file packages/ezjsonm-lwt/ezjsonm-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.2/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.4/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.5/opam: No space left on device
error: unable to create file packages/faad/faad.0.5.0/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.7.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.6.1/opam: No space left on device
error: unable to create file packages/farmhash/farmhash.0.4/opam: No space left on device
error: unable to create file packages/fasmifra/fasmifra.1.0.0/opam: No space left on device
error: unable to create file packages/fast_bitvector/fast_bitvector.0.0.5/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.14.0/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.15.0/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.15.1/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.7/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.4.3/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.3/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.1/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.40/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.44/opam: No space left on device
error: unable to create file packages/flint/flint.0.1.5/opam: No space left on device
error: unable to create file packages/fluent-logger/fluent-logger.1.1.0/opam: No space left on device
error: unable to create file packages/flux/flux.0.0.1~beta2/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.6/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.8.6/opam: No space left on device
error: unable to create file packages/fpath-sexp0/fpath-sexp0.0.3.1/opam: No space left on device
error: unable to create file packages/fpath/fpath.0.7.3/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.2/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.7/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.22.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.26.0/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.6/opam: No space left on device
error: unable to create file packages/freetennis/freetennis.0.4.8/opam: No space left on device
error: unable to create file packages/fstar/fstar.2021.06.06/opam: No space left on device
error: unable to create file packages/fstar/fstar.2022.01.15/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.3/opam: No space left on device
error: unable to create file packages/functoria-runtime/functoria-runtime.4.0.0~beta3/opam: No space left on device
error: unable to create file packages/funfields/funfields.0.04/opam: No space left on device
error: unable to create file packages/fungi/fungi.0.1.4/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.15.0/opam: No space left on device
error: unable to create file packages/gapi-ocaml/gapi-ocaml.0.4.8/opam: No space left on device
error: unable to create file packages/gbddml/gbddml.2.71.10/opam: No space left on device
error: unable to create file packages/gbddml/gbddml.2.71.15/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.1/opam: No space left on device
error: unable to create file packages/gendarme/gendarme.0.2.0/opam: No space left on device
error: unable to create file packages/genlet/genlet.201406/opam: No space left on device
error: unable to create file packages/genspir/genspir.1.0.0/opam: No space left on device
error: unable to create file packages/gg/gg.1.0.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.8.0/opam: No space left on device
error: unable to create file packages/git-unix/git-unix.3.2.0/opam: No space left on device
error: unable to create file packages/git-unix/git-unix.3.6.0/opam: No space left on device
error: unable to create file packages/github-data/github-data.4.5.0/opam: No space left on device
error: unable to create file packages/github-data/github-data.4.5.1/opam: No space left on device
error: unable to create file packages/github/github.4.4.1/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.6/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.7/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.5.0/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.5.0/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.0/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.1/opam: No space left on device
error: unable to create file packages/gpr/gpr.1.3.1/opam: No space left on device
error: unable to create file packages/gr/gr.0.0.1/opam: No space left on device
error: unable to create file packages/grace/grace.0.2.0/opam: No space left on device
error: unable to create file packages/gradescope_submit/gradescope_submit.0.2/opam: No space left on device
error: unable to create file packages/graphql-cohttp/graphql-cohttp.0.14.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/graphql_ppx/graphql_ppx.0.7.1/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.20.0/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.20.2/opam: No space left on device
error: unable to create file packages/gstreamer/gstreamer.0.3.1/opam: No space left on device
error: unable to create file packages/guardian/guardian.0.0.4/opam: No space left on device
error: unable to create file packages/h2-async/h2-async.0.10.0/opam: No space left on device
error: unable to create file packages/h2-async/h2-async.0.13.0/opam: No space left on device
error: unable to create file packages/hack_parallel/hack_parallel.1.0.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.0/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.7.1/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.2.1/opam: No space left on device
error: unable to create file packages/happy-eyeballs-lwt/happy-eyeballs-lwt.0.0.7/opam: No space left on device
error: unable to create file packages/happy-eyeballs/happy-eyeballs.0.6.0/opam: No space left on device
error: unable to create file packages/hardcaml-lua/hardcaml-lua.0.0.1/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.12.0/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.13.0/opam: No space left on device
error: unable to create file packages/hardcaml_verilator/hardcaml_verilator.v0.15.0/opam: No space left on device
error: unable to create file packages/hc/hc.0.3/opam: No space left on device
error: unable to create file packages/hex/hex.1.3.0/opam: No space left on device
error: unable to create file packages/hidapi/hidapi.1.2.1/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.5/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.8/opam: No space left on device
error: unable to create file packages/hiredis-value/hiredis-value.0.8/opam: No space left on device
error: unable to create file packages/hl_yaml/hl_yaml.1.0.0/opam: No space left on device
error: unable to create file packages/hol_light/hol_light.3.0.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.1.0/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.2.0.0/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.2.1.1/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.7.1/opam: No space left on device
error: unable to create file packages/httpaf-lwt-unix/httpaf-lwt-unix.0.6.6/opam: No space left on device
error: unable to create file packages/httpaf-lwt-unix/httpaf-lwt-unix.0.7.0/opam: No space left on device
error: unable to create file packages/huml-cli/huml-cli.0.2.0/opam: No space left on device
error: unable to create file packages/idd/idd.0.1/opam: No space left on device
error: unable to create file packages/incr_dom_interactive/incr_dom_interactive.v0.15.0/opam: No space left on device
error: unable to create file packages/incr_dom_partial_render/incr_dom_partial_render.v0.14.0/opam: No space left on device
error: unable to create file packages/incr_dom_partial_render/incr_dom_partial_render.v0.15.0/opam: No space left on device
error: unable to create file packages/incr_map/incr_map.v0.12.0/opam: No space left on device
error: unable to create file packages/indentation_buffer/indentation_buffer.v0.17.0/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.6.2/opam: No space left on device
error: unable to create file packages/index/index.1.0.0/opam: No space left on device
error: unable to create file packages/inifiles/inifiles.2.0/opam: No space left on device
error: unable to create file packages/inquire/inquire.0.2.0/opam: No space left on device
error: unable to create file packages/integration1d/integration1d.0.5/opam: No space left on device
error: unable to create file packages/intel_hex/intel_hex.0.1/opam: No space left on device
error: unable to create file packages/interval-map/interval-map.0.1.0/opam: No space left on device
error: unable to create file packages/interval/interval.1.3/opam: No space left on device
error: unable to create file packages/iomux/iomux.0.1/opam: No space left on device
error: unable to create file packages/iostream-camlzip/iostream-camlzip.0.2.2/opam: No space left on device
error: unable to create file packages/iostream-camlzip/iostream-camlzip.0.3/opam: No space left on device
error: unable to create file packages/iostream/iostream.0.1/opam: No space left on device
error: unable to create file packages/iostream/iostream.0.2.2/opam: No space left on device
error: unable to create file packages/irc-client-unix/irc-client-unix.0.7.1/opam: No space left on device
error: unable to create file packages/irc-client/irc-client.0.7.0/opam: No space left on device
error: unable to create file packages/iri/iri.0.7.0/opam: No space left on device
error: unable to create file packages/iri/iri.1.0.0/opam: No space left on device
error: unable to create file packages/irmin-containers/irmin-containers.2.10.2/opam: No space left on device
error: unable to create file packages/irmin-containers/irmin-containers.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-containers/irmin-containers.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-pack-tools/irmin-pack-tools.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-server/irmin-server.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-tezos/irmin-tezos.3.6.1/opam: No space left on device
error: unable to create file packages/irmin/irmin.2.10.2/opam: No space left on device
error: unable to create file packages/iter/iter.1.3/opam: No space left on device
error: unable to create file packages/iter/iter.1.6/opam: No space left on device
error: unable to create file packages/jasmin/jasmin.2023.06.2/opam: No space left on device
error: unable to create file packages/jekyll-format/jekyll-format.0.1.0/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.3.0-1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-camlp4/js_of_ocaml-camlp4.3.0.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.5.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.5.9.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.9.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ocamlbuild/js_of_ocaml-ocamlbuild.3.5.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.4.0.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.3.5.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.5.7.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.5.7.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.5.8.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.3.6.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.6.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-webidl/js_of_ocaml-webidl.0.1/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.0.9.1/opam: No space left on device
error: unable to create file packages/json-data-encoding/json-data-encoding.0.10/opam: No space left on device
error: unable to create file packages/json-data-encoding/json-data-encoding.0.8/opam: No space left on device
error: unable to create file packages/jsoo-react/jsoo-react.0.1/opam: No space left on device
error: unable to create file packages/junit_alcotest/junit_alcotest.2.3.0/opam: No space left on device
error: unable to create file packages/junit_ounit/junit_ounit.2.0.1/opam: No space left on device
error: unable to create file packages/kaun/kaun.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/kaun/kaun.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.3.0/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.5.1/opam: No space left on device
error: unable to create file packages/kcas_data/kcas_data.0.6.1/opam: No space left on device
error: unable to create file packages/krb/krb.v0.15.0/opam: No space left on device
error: unable to create file packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.2/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.3.1.2/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.3.1.5-1/opam: No space left on device
error: unable to create file packages/labltk/labltk.8.06.7/opam: No space left on device
error: unable to create file packages/labltk/labltk.8.06.8/opam: No space left on device
error: unable to create file packages/labrys/labrys.0.1/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.9.2.2/opam: No space left on device
error: unable to create file packages/lambda_streams_lwt/lambda_streams_lwt.0.1.2/opam: No space left on device
error: unable to create file packages/lambdapi/lambdapi.2.6.0/opam: No space left on device
error: unable to create file packages/lambdasoup/lambdasoup.1.0.0/opam: No space left on device
error: unable to create file packages/lame/lame.0.3.1/opam: No space left on device
error: unable to create file packages/landmarks/landmarks.1.3/opam: No space left on device
error: unable to create file packages/lascar/lascar.0.5/opam: No space left on device
error: unable to create file packages/lascar/lascar.0.6-alpha/opam: No space left on device
error: unable to create file packages/lbvs_consent/lbvs_consent.1.1.3/opam: No space left on device
error: unable to create file packages/lbvs_consent/lbvs_consent.2.1.3/opam: No space left on device
error: unable to create file packages/ldap/ldap.2.4.1/opam: No space left on device
error: unable to create file packages/ledgerwallet-tezos/ledgerwallet-tezos.0.4.1/opam: No space left on device
error: unable to create file packages/ledgerwallet/ledgerwallet.0.2.0/opam: No space left on device
error: unable to create file packages/lem/lem.2020-06-03/opam: No space left on device
error: unable to create file packages/lens/lens.1.0.0/opam: No space left on device
error: unable to create file packages/lens/lens.1.2.0/opam: No space left on device
error: unable to create file packages/letsencrypt-app/letsencrypt-app.1.1.0/opam: No space left on device
error: unable to create file packages/letters/letters.0.2.1/opam: No space left on device
error: unable to create file packages/lib_parsing/lib_parsing.1.12.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.106.0.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.108.0.0/opam: No space left on device
error: unable to create file packages/libdash/libdash.0.1/opam: No space left on device
error: unable to create file packages/libsail/libsail.0.20.1/opam: No space left on device
error: unable to create file packages/libssh/libssh.0.1/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.8.0+macos-x86_64/opam: No space left on device
error: unable to create file packages/links-mysql/links-mysql.0.9.6/opam: No space left on device
error: unable to create file packages/links-postgresql/links-postgresql.0.9.8/opam: No space left on device
error: unable to create file packages/linol-eio/linol-eio.0.6/opam: No space left on device
error: unable to create file packages/linwrap/linwrap.0.0.1/opam: No space left on device
error: unable to create file packages/liquid_parser/liquid_parser.0.1.2/opam: No space left on device
error: unable to create file packages/liquid_parser/liquid_parser.0.1.3/opam: No space left on device
error: unable to create file packages/liquidsoap-daemon/liquidsoap-daemon.0.3.1/opam: No space left on device
error: unable to create file packages/liquidsoap-libs/liquidsoap-libs.2.2.0~1/opam: No space left on device
error: unable to create file packages/llama_core/llama_core.0.1.0/opam: No space left on device
error: unable to create file packages/llama_midi/llama_midi.0.1.0/opam: No space left on device
error: unable to create file packages/llvmgraph/llvmgraph.0.2/opam: No space left on device
error: unable to create file packages/loga/loga.0.0.5/opam: No space left on device
error: unable to create file packages/logs-async/logs-async.1.4/opam: No space left on device
error: unable to create file packages/loop/loop.0.0.1/opam: No space left on device
error: unable to create file packages/lp-glpk-js/lp-glpk-js.0.4.0/opam: No space left on device
error: unable to create file packages/lp/lp.0.1.0/opam: No space left on device
error: unable to create file packages/lp/lp.0.2.0/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.17.0/opam: No space left on device
error: unable to create file packages/lua_parser/lua_parser.1.0.0/opam: No space left on device
error: unable to create file packages/lustre-v6/lustre-v6.6.101.7/opam: No space left on device
error: unable to create file packages/luv/luv.0.5.2/opam: No space left on device
error: unable to create file packages/luv/luv.0.5.3/opam: No space left on device
error: unable to create file packages/lwd/lwd.0.3/opam: No space left on device
error: unable to create file packages/lwt-binio/lwt-binio.0.2.0/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.1.0/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.2.0/opam: No space left on device
error: unable to create file packages/lwt_camlp4/lwt_camlp4.1.0.0/opam: No space left on device
error: unable to create file packages/lwt_react/lwt_react.1.1.1/opam: No space left on device
error: unable to create file packages/markup/markup.0.7.6/opam: No space left on device
error: unable to create file packages/matita/matita.0.99.5/opam: No space left on device
error: unable to create file packages/mbr-format/mbr-format.2.0.0/opam: No space left on device
error: unable to create file packages/mehari-lwt-unix/mehari-lwt-unix.0.1/opam: No space left on device
error: unable to create file packages/melange-radix-icons/melange-radix-icons.0.0.1/opam: No space left on device
fatal: cannot create directory at 'packages/melange-radix-icons/melange-radix-icons.0.0.2': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:34.25: Job failed: Failed: Build failed