Build:
- 0
2026-01-27 19:21.39: New job: test azure-cosmos-db.0.1.2 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 azure-cosmos-db.0.1.2; \
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" != 'azure-cosmos-db.0.1.2' && 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 azure-cosmos-db.0.1.2) || true
RUN opam reinstall --with-test --verbose azure-cosmos-db.0.1.2; \
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" != 'azure-cosmos-db.0.1.2' && 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-azure-cosmos-db.0.1.2-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 azure-cosmos-db.0.1.2;\
\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\" != 'azure-cosmos-db.0.1.2' && 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 azure-cosmos-db.0.1.2) || true"))
(run (shell "opam reinstall --with-test --verbose azure-cosmos-db.0.1.2;\
\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\" != 'azure-cosmos-db.0.1.2' && 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:35.21: Waiting for worker…
2026-01-27 19:35.54: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file .github/workflows/windows.yml: No space left on device
error: unable to create file CHANGES.md: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.17/opam: No space left on device
error: unable to create file packages/0install/0install.2.16/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.5/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8/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/DAGaml/DAGaml.0.02/opam: No space left on device
error: unable to create file packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam: No space left on device
error: unable to create file packages/DkSDKFFIOCaml_StdExport-linux_x86_64/DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1/opam: No space left on device
error: unable to create file packages/FPauth-core/FPauth-core.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/FrontC/FrontC.3.4.1/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.4.0.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.1/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.4/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.02/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.03/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.04/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.05/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.1.2/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.0/opam: No space left on device
error: unable to create file packages/MlFront_Errors/MlFront_Errors.2.4.2.30/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.4.1.1/opam: No space left on device
error: unable to create file packages/TCSLib/TCSLib.0.2/opam: No space left on device
error: unable to create file packages/TCSLib/TCSLib.0.5/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.16.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/accessor_core/accessor_core.v0.14.1/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.2/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/afl/afl.2.52b/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/albatross/albatross.2.4.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.5.0/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.5.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.6.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.6.2/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.5.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/alsa/alsa.0.3.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.0/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.3/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.4/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.4.2/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.3.3/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.4.1/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.3.0/opam: No space left on device
error: unable to create file packages/amqp-client-lwt/amqp-client-lwt.2.1.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.11.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.16.0/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-async/angstrom-async.0.8.0/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/arch-x86_32/arch-x86_32.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.3/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.5/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.3.4/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/arg-complete/arg-complete.0.1.0/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.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/assertions/assertions.0.1/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_extra/async_extra.v0.12.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.12.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.15.1/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.16.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.15.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.14.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.12.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_udp/async_udp.v0.15.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.11.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.13.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.3.3/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-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.1.10.2/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.1.12.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.14.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.15.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.8.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.10.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/atds/atds.2.4.1/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/awa-mirage/awa-mirage.0.0.5/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.1.0/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.2.0/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.3.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.2.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.3.1/opam: No space left on device
error: unable to create file packages/aws-cloudtrail/aws-cloudtrail.1.2/opam: No space left on device
error: unable to create file packages/aws-config/aws-config.0.0.1/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.6.0/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.8.1/opam: No space left on device
error: unable to create file packages/baby/baby.20241204/opam: No space left on device
error: unable to create file packages/bam/bam.0.1/opam: No space left on device
error: unable to create file packages/bam/bam.0.2/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.4.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-elf/bap-elf.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.1.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-ida/bap-ida.2.3.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.1.0/opam: No space left on device
error: unable to create file packages/bap-microx/bap-microx.2.5.0/opam: No space left on device
error: unable to create file packages/bap-optimization/bap-optimization.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-dictionary/bap-primus-dictionary.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-mark-visited/bap-primus-mark-visited.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-region/bap-primus-region.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus/bap-primus.2.4.0/opam: No space left on device
error: unable to create file packages/bap-radare2/bap-radare2.2.4.0/opam: No space left on device
error: unable to create file packages/bap-radare2/bap-radare2.2.5.0/opam: No space left on device
error: unable to create file packages/bap-relation/bap-relation.2.3.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.1.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.2.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam: No space left on device
error: unable to create file packages/bap-thumb/bap-thumb.2.2.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.5.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.1.0/opam: No space left on device
error: unable to create file packages/base-nnp/base-nnp.base/opam: No space left on device
error: unable to create file packages/base/base.v0.17.1/opam: No space left on device
error: unable to create file packages/base_bigstring/base_bigstring.v0.13.0/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/bastet/bastet.1.2.4/opam: No space left on device
error: unable to create file packages/bastet/bastet.2.0.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.0.0/opam: No space left on device
error: unable to create file packages/bddrand/bddrand.2.71.10/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.3.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.4.0/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.3/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.4/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.17.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.22.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.25.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.7.0/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.4.0.2/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.2.2/opam: No space left on device
error: unable to create file packages/binning/binning.0.0.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.4.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.7.2/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.9.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/biocaml/biocaml.0.11.2/opam: No space left on device
error: unable to create file packages/bisect/bisect.1.3.1/opam: No space left on device
error: unable to create file packages/bistro-bio/bistro-bio.0.6.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/bitwuzla.1.0.5/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-js-gen/bls12-381-js-gen.0.4.1/opam: No space left on device
error: unable to create file packages/bls12-381-js-gen/bls12-381-js-gen.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381-js/bls12-381-js.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381-js/bls12-381-js.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.0.4.1/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.0.4.2/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/bonsai/bonsai.v0.13.0/opam: No space left on device
error: unable to create file packages/bpf/bpf.0.2/opam: No space left on device
error: unable to create file packages/brozip/brozip.1.1/opam: No space left on device
error: unable to create file packages/bst/bst.3.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/bytesrw/bytesrw.0.1.0/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.108-1/opam: No space left on device
error: unable to create file packages/calendar/calendar.2.03.2/opam: No space left on device
error: unable to create file packages/calendar/calendar.2.04/opam: No space left on device
error: unable to create file packages/camelot/camelot.0.4.3/opam: No space left on device
error: unable to create file packages/camelot/camelot.0.5/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.1.1/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.6.1/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/camlidl/camlidl.1.12/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.0/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.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/camlon/camlon.2.0.1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+2/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.04+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.12+system/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.7.14/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.02.01/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/camlpdf/camlpdf.2.6/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.7.0/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.11/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.13/opam: No space left on device
error: unable to create file packages/canary/canary.0.0.1/opam: No space left on device
error: unable to create file packages/capnp-rpc/capnp-rpc.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc/capnp-rpc.1.2.3/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.9.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-pgx/caqti-driver-pgx.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.5.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.0.10.0/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.0.10.2/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.1.0/opam: No space left on device
error: unable to create file packages/carton-git-lwt/carton-git-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/carton-git/carton-git.0.2.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.1.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.1.1/opam: No space left on device
error: unable to create file packages/catala/catala.0.10.0/opam: No space left on device
error: unable to create file packages/catala/catala.0.2.0/opam: No space left on device
error: unable to create file packages/catapult-client/catapult-client.0.1/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.2/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.3.1/opam: No space left on device
error: unable to create file packages/ceph/ceph.20240106/opam: No space left on device
error: unable to create file packages/cfstream/cfstream.1.3.2/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.1.1.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/charrua-server/charrua-server.2.1.0/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.20.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.0.5.1/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.3.9.1/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/clap/clap.0.1.0/opam: No space left on device
error: unable to create file packages/clap/clap.0.2.0/opam: No space left on device
error: unable to create file packages/clap/clap.0.3.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.8.0/opam: No space left on device
error: unable to create file packages/cmdlang-to-base/cmdlang-to-base.0.0.9/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/cmon/cmon.0.1/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.0.0~alpha1/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.1.0/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/cohttp/cohttp.1.2.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.2.4.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.2.5.2-1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.1.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.5.0/opam: No space left on device
error: unable to create file packages/color/color.0.3.0/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.2/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.3/opam: No space left on device
error: unable to create file packages/conduit/conduit.7.1.0/opam: No space left on device
error: unable to create file packages/conex/conex.1.0.0/opam: No space left on device
error: unable to create file packages/conf-alsa/conf-alsa.1/opam: No space left on device
error: unable to create file packages/conf-antic/conf-antic.1/opam: No space left on device
error: unable to create file packages/conf-autoconf/conf-autoconf.0.2/opam: No space left on device
error: unable to create file packages/conf-automake/conf-automake.1/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.4/opam: No space left on device
error: unable to create file packages/conf-bluetooth/conf-bluetooth.1/opam: No space left on device
error: unable to create file packages/conf-dbm/conf-dbm.1.0.0/opam: No space left on device
error: unable to create file packages/conf-fdkaac/conf-fdkaac.1/opam: No space left on device
error: unable to create file packages/conf-fswatch/conf-fswatch.11-0.1.0/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-libclang/conf-libclang.10/opam: No space left on device
error: unable to create file packages/conf-libgif/conf-libgif.1/opam: No space left on device
error: unable to create file packages/conf-libmosquitto/conf-libmosquitto.1/opam: No space left on device
error: unable to create file packages/conf-libssl/conf-libssl.1/opam: No space left on device
error: unable to create file packages/conf-libtool/conf-libtool.1/opam: No space left on device
error: unable to create file packages/conf-libxcb-shm/conf-libxcb-shm.1/opam: No space left on device
error: unable to create file packages/conf-mariadb/conf-mariadb.1/opam: No space left on device
error: unable to create file packages/conf-mariadb/conf-mariadb.2/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-cairo-i686/conf-mingw-w64-cairo-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gnomecanvas-x86_64/conf-mingw-w64-gnomecanvas-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-libffi-x86_64/conf-mingw-w64-libffi-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pkgconf-x86_64/conf-mingw-w64-pkgconf-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-numa/conf-numa.0.1.0/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-pandoc/conf-pandoc.0.1/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.2/opam: No space left on device
error: unable to create file packages/conf-povray/conf-povray.1/opam: No space left on device
error: unable to create file packages/conf-ppl/conf-ppl.1/opam: No space left on device
error: unable to create file packages/conf-protoc/conf-protoc.0.9/opam: No space left on device
error: unable to create file packages/conf-python-2-7-dev/conf-python-2-7-dev.1.0/opam: No space left on device
error: unable to create file packages/conf-r/conf-r.1.0.0/opam: No space left on device
error: unable to create file packages/conf-scdoc/conf-scdoc.1/opam: No space left on device
error: unable to create file packages/conf-sysinfo/conf-sysinfo.1/opam: No space left on device
error: unable to create file packages/conf-wxwidgets/conf-wxwidgets.3.0/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2.2/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.8.0/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.12/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.6.1/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.2/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.6+8.16/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.6/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.17.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.18.0/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam: No space left on device
error: unable to create file packages/coq/coq.8.8.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.9.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.15.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.7.2/opam: No space left on device
error: unable to create file packages/cordova-plugin-fcm/cordova-plugin-fcm.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-network-information/cordova-plugin-network-information.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-statusbar/cordova-plugin-statusbar.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-toast/cordova-plugin-toast.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/core.v0.17.1/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.12.0/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.13.0/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.15.0/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.5/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.9/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.8.0/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.0.1/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.0/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.0/opam: No space left on device
error: unable to create file packages/cry/cry.1.0.3/opam: No space left on device
error: unable to create file packages/crypt/crypt.2.0/opam: No space left on device
error: unable to create file packages/crypt/crypt.2.1/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.05/opam: No space left on device
error: unable to create file packages/css-parser/css-parser.0.2.2/opam: No space left on device
error: unable to create file packages/css/css.0.1.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/cstruct/cstruct.3.3.0/opam: No space left on device
error: unable to create file packages/csv/csv.1.4.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/csvtool/csvtool.2.3/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.22.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.8.2/opam: No space left on device
error: unable to create file packages/current/current.0.5/opam: No space left on device
error: unable to create file packages/current_ansi/current_ansi.0.4/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.5/opam: No space left on device
error: unable to create file packages/current_examples/current_examples.0.7.3/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.5/opam: No space left on device
error: unable to create file packages/current_github/current_github.0.7.2/opam: No space left on device
error: unable to create file packages/current_gitlab/current_gitlab.0.6.2/opam: No space left on device
error: unable to create file packages/datakit-server-9p/datakit-server-9p.0.12.2/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/decoders-bencode/decoders-bencode.0.3.0/opam: No space left on device
error: unable to create file packages/decoders-cbor/decoders-cbor.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.4.0/opam: No space left on device
error: unable to create file packages/depext/depext.0.6/opam: No space left on device
error: unable to create file packages/depyt/depyt.0.3.0/opam: No space left on device
error: unable to create file packages/diet/diet.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/diet/diet.0.3/opam: No space left on device
error: unable to create file packages/diffast-langs-java/diffast-langs-java.0.3.5.1/opam: No space left on device
error: unable to create file packages/digestif/digestif.0.5/opam: No space left on device
error: unable to create file packages/digestif/digestif.0.9.0/opam: No space left on device
error: unable to create file packages/directories/directories.0.1/opam: No space left on device
error: unable to create file packages/directories/directories.0.5/opam: No space left on device
error: unable to create file packages/directories/directories.0.6/opam: No space left on device
error: unable to create file packages/dkml-compiler-env/dkml-compiler-env.1.0.2~prerel7/opam: No space left on device
error: unable to create file packages/dkml-component-offline-ocamlrun/dkml-component-offline-ocamlrun.4.12.1~v1.0.2/opam: No space left on device
error: unable to create file packages/dkml-dune-dsl-show/dkml-dune-dsl-show.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.5.2/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.2.0/opam: No space left on device
error: unable to create file packages/dmarc/dmarc.0.0.1/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.2.0/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.1/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.3/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.7.0.3/opam: No space left on device
error: unable to create file packages/dns-forward/dns-forward.0.10.0/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.10.2.0/opam: No space left on device
error: unable to create file packages/dns-tsig/dns-tsig.10.1.0/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.1/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.3.0.2/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.5/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.6/opam: No space left on device
error: unable to create file packages/dolmen_lsp/dolmen_lsp.0.8/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.10/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.5/opam: No space left on device
error: unable to create file packages/dolog/dolog.2.0/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.5.0/opam: No space left on device
error: unable to create file packages/dose3/dose3.5.0.1-1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.6-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-html/dream-html.3.0.1/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.1.0/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha4/opam: No space left on device
error: unable to create file packages/dream-pure/dream-pure.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/dream-serve/dream-serve.1.0.0/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha6/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha7/opam: No space left on device
error: unable to create file packages/dum/dum.1.0.1/opam: No space left on device
error: unable to create file packages/dum/dum.1.0.3/opam: No space left on device
error: unable to create file packages/dune-compiledb/dune-compiledb.0.6.0/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.0.1/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.6.1/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.21.0/opam: No space left on device
error: unable to create file packages/dune/dune.2.6.1/opam: No space left on device
error: unable to create file packages/dune/dune.2.7.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.19.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.20.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.20.2/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.0/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.4/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.0.3/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.2.0/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.1/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.6.2/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.8.1/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.0.6/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.1.1/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.2.0/opam: No space left on device
error: unable to create file packages/eio-trace/eio-trace.0.3/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.0.14/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.1/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.2/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.3/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.1.0/opam: No space left on device
error: unable to create file packages/elm_playground_web/elm_playground_web.0.1.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.2/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.3/opam: No space left on device
error: unable to create file packages/epictetus/epictetus.3.1.0/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.10/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.2/opam: No space left on device
error: unable to create file packages/erlang/erlang.0.0.14/opam: No space left on device
error: unable to create file packages/errpy/errpy.0.0.10/opam: No space left on device
error: unable to create file packages/ethernet/ethernet.3.2.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.1.0/opam: No space left on device
error: unable to create file packages/ez_config/ez_config.0.2.0/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.2.0/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.3/opam: No space left on device
error: unable to create file packages/ezjs_fetch/ezjs_fetch.0.2/opam: No space left on device
error: unable to create file packages/ezjs_timeline/ezjs_timeline.0.1/opam: No space left on device
error: unable to create file packages/ezjsonm-lwt/ezjsonm-lwt.1.3.0/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.0.5.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.6.1/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.3.0/opam: No space left on device
error: unable to create file packages/farfadet/farfadet.0.1/opam: No space left on device
error: unable to create file packages/farfadet/farfadet.0.2/opam: No space left on device
error: unable to create file packages/farfadet/farfadet.0.3/opam: No space left on device
error: unable to create file packages/ff-sig/ff-sig.0.5.0/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.0.0~beta2/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.9/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/ffmpeg.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.5/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.0/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.2/opam: No space left on device
error: unable to create file packages/fix/fix.20211231/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.35/opam: No space left on device
error: unable to create file packages/float_option/float_option.0.0.2/opam: No space left on device
error: unable to create file packages/float_option/float_option.0.0.3/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.0/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.3.0/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.3.1/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.2/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.11/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.10.0/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.11.0/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.8.0/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.4/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.19.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.20.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.26.0~beta/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.14/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/freetds/freetds.0.7/opam: No space left on device
error: unable to create file packages/fsml/fsml.0.3.0/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.16.0/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.17.0/opam: No space left on device
error: unable to create file packages/gadelac/gadelac.0.6.1/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/gen/gen.0.5.3/opam: No space left on device
error: unable to create file packages/gen/gen.0.5/opam: No space left on device
error: unable to create file packages/gettext-stub/gettext-stub.0.4.1/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.2.0/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.6.0/opam: No space left on device
error: unable to create file packages/git-mirage/git-mirage.3.15.0/opam: No space left on device
error: unable to create file packages/git-split/git-split.0.0.3/opam: No space left on device
error: unable to create file packages/git-unix/git-unix.3.8.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-jsoo/github-jsoo.4.3.2/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.5.0/opam: No space left on device
error: unable to create file packages/github/github.3.1.0/opam: No space left on device
error: unable to create file packages/github/github.4.0.0/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.0/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.6/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.1/opam: No space left on device
error: unable to create file packages/glical/glical.0.0.7/opam: No space left on device
error: unable to create file packages/gluon/gluon.0.0.8/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.5.2/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.3.0/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.5.0/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.2.1/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.2/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.3/opam: No space left on device
error: unable to create file packages/gopcaml-mode/gopcaml-mode.0.0.2/opam: No space left on device
error: unable to create file packages/gpiod/gpiod.0.7/opam: No space left on device
error: unable to create file packages/gpr/gpr.1.3.0/opam: No space left on device
error: unable to create file packages/gptar/gptar.1.0.0/opam: No space left on device
error: unable to create file packages/grace/grace.0.1.0/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.2.0.2/opam: No space left on device
error: unable to create file packages/grain_dypgen/grain_dypgen.0.2.1/opam: No space left on device
error: unable to create file packages/graphql-cohttp/graphql-cohttp.0.8.0/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.2.0/opam: No space left on device
error: unable to create file packages/graphql_parser/graphql_parser.0.7.0/opam: No space left on device
error: unable to create file packages/graphv_core_lib/graphv_core_lib.0.1.1/opam: No space left on device
error: unable to create file packages/graphv_font/graphv_font.0.1.1/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.1/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.2/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.3/opam: No space left on device
error: unable to create file packages/gufo/gufo.0.1.2/opam: No space left on device
error: unable to create file packages/guile/guile.1.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.10.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.12.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.10.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.3.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.9.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.7.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.4.2/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.2.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.3.0-1/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_axi/hardcaml_axi.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_step_testbench/hardcaml_step_testbench.v0.17.0/opam: No space left on device
error: unable to create file packages/haxe/haxe.4.0.0/opam: No space left on device
error: unable to create file packages/hc/hc.0.0.1/opam: No space left on device
error: unable to create file packages/hc/hc.0.2/opam: No space left on device
error: unable to create file packages/hdf5/hdf5.0.1.4/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.42/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.52/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.1/opam: No space left on device
error: unable to create file packages/hidapi-lwt/hidapi-lwt.1.2/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.9/opam: No space left on device
error: unable to create file packages/host-arch-arm32/host-arch-arm32.1/opam: No space left on device
error: unable to create file packages/host-arch-arm64/host-arch-arm64.1/opam: No space left on device
error: unable to create file packages/htmlit/htmlit.0.2.0/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.1.1.0/opam: No space left on device
fatal: cannot create directory at 'packages/http/http.6.0.0~beta2': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:36.12: Job failed: Failed: Build failed