Build:
- 0
2026-01-27 19:21.39: New job: test ca-certs-nss.3.71 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 ca-certs-nss.3.71; \
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" != 'ca-certs-nss.3.71' && 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 ca-certs-nss.3.71) || true
RUN opam reinstall --with-test --verbose ca-certs-nss.3.71; \
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" != 'ca-certs-nss.3.71' && 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-ca-certs-nss.3.71-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 ca-certs-nss.3.71;\
\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\" != 'ca-certs-nss.3.71' && 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 ca-certs-nss.3.71) || true"))
(run (shell "opam reinstall --with-test --verbose ca-certs-nss.3.71;\
\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\" != 'ca-certs-nss.3.71' && 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.14: Waiting for worker…
2026-01-27 19:35.46: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file .github/workflows/unlabel.yml: No space left on device
error: unable to create file .github/workflows/windows.yml: No space left on device
error: unable to create file CONTRIBUTING.md: No space left on device
error: unable to create file governance/README.md: No space left on device
error: unable to create file governance/policies/archiving.md: No space left on device
error: unable to create file packages/0install-gtk/0install-gtk.2.17/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.4/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/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/GT/GT.0.4.1/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.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_Signify/MlFront_Signify.2.3.1/opam: No space left on device
error: unable to create file packages/MlFront_ZipFile/MlFront_ZipFile.2.3.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.0/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.1/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/ago/ago.0.2/opam: No space left on device
error: unable to create file packages/agrid/agrid.0.1/opam: No space left on device
error: unable to create file packages/ahrocksdb/ahrocksdb.0.2.0/opam: No space left on device
error: unable to create file packages/ahrocksdb/ahrocksdb.0.2.2/opam: No space left on device
error: unable to create file packages/albatross/albatross.1.4.3/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/alcotest-async/alcotest-async.1.7.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.9.1/opam: No space left on device
error: unable to create file packages/alice/alice.0.1.0/opam: No space left on device
error: unable to create file packages/allegro5/allegro5.0.1/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.3/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.3.2/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.3.3/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.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.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.1/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.0.95.2/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.4.3/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.2.0/opam: No space left on device
error: unable to create file packages/amqp-client-lwt/amqp-client-lwt.2.2.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.0.4/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.11.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.12.1/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.6.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.9.0/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/apero-core/apero-core.0.4.7/opam: No space left on device
error: unable to create file packages/apron/apron.20150820/opam: No space left on device
error: unable to create file packages/apronext/apronext.1.0.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.12/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/arp/arp.4.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/arrayjit/arrayjit.0.3.3/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.2.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_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.12.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_ssl/async_ssl.v0.13.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.16.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.0.2/opam: No space left on device
error: unable to create file packages/atd/atd.2.10.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/atdcpp/atdcpp.3.0.1/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.4.1/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-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/atdgen.1.10.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/aws-s3-async/aws-s3-async.4.7.0/opam: No space left on device
error: unable to create file packages/awsm-async/awsm-async.0.1.0/opam: No space left on device
error: unable to create file packages/awsm-codegen/awsm-codegen.0.1.0/opam: No space left on device
error: unable to create file packages/bap-byteweight/bap-byteweight.2.1.0/opam: No space left on device
error: unable to create file packages/bap-cache/bap-cache.2.3.0/opam: No space left on device
error: unable to create file packages/bap-core/bap-core.2.5.0/opam: No space left on device
error: unable to create file packages/bap-cxxfilt/bap-cxxfilt.2.1.0/opam: No space left on device
error: unable to create file packages/bap-future/bap-future.2.4.0/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-ghidra/bap-ghidra.2.5.0/opam: No space left on device
error: unable to create file packages/bap-piqi/bap-piqi.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-loader/bap-primus-loader.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-promiscuous/bap-primus-promiscuous.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-promiscuous/bap-primus-promiscuous.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/bap-primus.2.4.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.2.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.5.0/opam: No space left on device
error: unable to create file packages/bare/bare.2.3.0/opam: No space left on device
error: unable to create file packages/bare/bare.2.4.0/opam: No space left on device
error: unable to create file packages/bare/bare.2.5.0/opam: No space left on device
error: unable to create file packages/base58/base58.0.1.2/opam: No space left on device
error: unable to create file packages/base64/base64.2.1.2/opam: No space left on device
error: unable to create file packages/base64/base64.2.2.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.14.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.7.2/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/bechamel/bechamel.0.3.0/opam: No space left on device
error: unable to create file packages/benchpress/benchpress.0.1/opam: No space left on device
error: unable to create file packages/bencode/bencode.1.0.0/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/bigdecimal/bigdecimal.v0.16.0/opam: No space left on device
error: unable to create file packages/bimage-display/bimage-display.0.5.0/opam: No space left on device
error: unable to create file packages/bimage-lwt/bimage-lwt.0.4.0/opam: No space left on device
error: unable to create file packages/bimage-sdl/bimage-sdl.0.1.1/opam: No space left on device
error: unable to create file packages/bimap/bimap.20201231/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.17.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.20.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.29.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/binaryen_dsl/binaryen_dsl.0.7/opam: No space left on device
error: unable to create file packages/binbin/binbin.0.01/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.1.2/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.1.0/opam: No space left on device
error: unable to create file packages/bitcoin-cohttp-async/bitcoin-cohttp-async.3.0/opam: No space left on device
error: unable to create file packages/bitcoin-cohttp-lwt/bitcoin-cohttp-lwt.3.0/opam: No space left on device
error: unable to create file packages/bitvec-order/bitvec-order.2.4.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.2.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.4/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.6.1/opam: No space left on device
error: unable to create file packages/bitwuzla/bitwuzla.1.0.3/opam: No space left on device
error: unable to create file packages/bls12-381-hash/bls12-381-hash.1.0.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/bls12-381.0.5.0/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/brozip/brozip.1.0/opam: No space left on device
error: unable to create file packages/bsdowl/bsdowl.2.2/opam: No space left on device
error: unable to create file packages/builder/builder.0.4.0/opam: No space left on device
error: unable to create file packages/bun/bun.0.3.1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.101-1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.117/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.92/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.98/opam: No space left on device
error: unable to create file packages/cairo2-gtk/cairo2-gtk.0.6.2/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.1/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.2/opam: No space left on device
error: unable to create file packages/caisar-nnet/caisar-nnet.0.1/opam: No space left on device
error: unable to create file packages/camelot/camelot.0.4.1/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/camlgpc/camlgpc.1.0/opam: No space left on device
error: unable to create file packages/camlkit-gui/camlkit-gui.0.1.1/opam: No space left on device
error: unable to create file packages/camllib/camllib.1.3.2/opam: No space left on device
error: unable to create file packages/camllib/camllib.1.3.3/opam: No space left on device
error: unable to create file packages/camlon/camlon.3.0.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.03+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.07+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.10+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.11+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/camlp4/camlp4.4.14+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.2/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.3/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/caqti-mirage/caqti-mirage.2.0.1/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.10.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.11.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.7.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.8.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.9.0/opam: No space left on device
error: unable to create file packages/carton/carton.1.1.0/opam: No space left on device
error: unable to create file packages/castore/castore.0.0.2/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/catapult-daemon/catapult-daemon.0.1.1/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.1.1-1/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/checkseum/checkseum.0.4.0/opam: No space left on device
error: unable to create file packages/clangml-transforms/clangml-transforms.0.25/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.5.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.0.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/claudius/claudius.1.0.1/opam: No space left on device
error: unable to create file packages/climate/climate.0.2.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.2.0.0/opam: No space left on device
error: unable to create file packages/cmdlang-cmdliner-err-runner/cmdlang-cmdliner-err-runner.0.0.16/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.2.0.0/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.2.1.0/opam: No space left on device
error: unable to create file packages/codept-lib/codept-lib.0.12.1/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-server-lwt-unix/cohttp-server-lwt-unix.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.1.1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.10.0/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/color-brewery/color-brewery.0.1/opam: No space left on device
error: unable to create file packages/color/color.0.1.0/opam: No space left on device
error: unable to create file packages/comby-semantic/comby-semantic.1.7.0/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.2/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.3/opam: No space left on device
error: unable to create file packages/conan-lwt/conan-lwt.0.0.5/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.5.1.0/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.6.2.3/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.2.2.1/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.6.2.2/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.6.2.3/opam: No space left on device
error: unable to create file packages/conex/conex.0.11.1/opam: No space left on device
error: unable to create file packages/conex/conex.0.9.2/opam: No space left on device
error: unable to create file packages/conf-arb/conf-arb.1/opam: No space left on device
error: unable to create file packages/conf-binutils/conf-binutils.0.3/opam: No space left on device
error: unable to create file packages/conf-bison/conf-bison.2/opam: No space left on device
error: unable to create file packages/conf-bpftool/conf-bpftool.0.1.0/opam: No space left on device
error: unable to create file packages/conf-c++/conf-c++.1.0/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-cpio/conf-cpio.1/opam: No space left on device
error: unable to create file packages/conf-cuda-config/conf-cuda-config.1/opam: No space left on device
error: unable to create file packages/conf-libev/conf-libev.4-12/opam: No space left on device
error: unable to create file packages/conf-liblinear-tools/conf-liblinear-tools.1.0.0/opam: No space left on device
error: unable to create file packages/conf-liblo/conf-liblo.1/opam: No space left on device
error: unable to create file packages/conf-libopus/conf-libopus.1/opam: No space left on device
error: unable to create file packages/conf-libpcre/conf-libpcre.2/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.10.0.0/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-cairo-x86_64/conf-mingw-w64-cairo-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-curl-i686/conf-mingw-w64-curl-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-mbedtls-x86_64/conf-mingw-w64-mbedtls-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-postgresql-i686/conf-mingw-w64-postgresql-i686.1/opam: No space left on device
error: unable to create file packages/conf-msvc64/conf-msvc64.1/opam: No space left on device
error: unable to create file packages/conf-mysql/conf-mysql.1/opam: No space left on device
error: unable to create file packages/conf-nauty/conf-nauty.1.0/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-pixz/conf-pixz.1/opam: No space left on device
error: unable to create file packages/conf-rust-llvm/conf-rust-llvm.1/opam: No space left on device
error: unable to create file packages/conf-rust-wasm/conf-rust-wasm.1/opam: No space left on device
error: unable to create file packages/conf-tidy/conf-tidy.1/opam: No space left on device
error: unable to create file packages/conf-xkbcommon/conf-xkbcommon.1/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2.1/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.4.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.5.0/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.15/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.0/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.10/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.7/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/content_security_policy/content_security_policy.v0.16.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.17.1/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.9.0.1/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.5.1+8.16/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-lsp/coq-lsp.0.2.5+9.1/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.10.0+0.7.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.17.0+0.17.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.18.0+0.18.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-serapi/coq-serapi.8.8.0+0.5.4/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.5/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-stdlib/coq-stdlib.8.19.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.19.1/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.2.0+8.20/opam: No space left on device
error: unable to create file packages/coq/coq.8.12.0/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.0/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.17.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.17.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.14.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.17.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.17.1/opam: No space left on device
error: unable to create file packages/cordova-plugin-device/cordova-plugin-device.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.1/opam: No space left on device
error: unable to create file packages/core-and-more/core-and-more.0.0.1/opam: No space left on device
error: unable to create file packages/core/core.v0.12.3/opam: No space left on device
error: unable to create file packages/core/core.v0.12.4/opam: No space left on device
error: unable to create file packages/core/core.v0.15.0/opam: No space left on device
error: unable to create file packages/core_compat/core_compat.v0.15.0/opam: No space left on device
error: unable to create file packages/core_extended/core_extended.v0.15.0/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.13.1/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.14.2/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.15.0/opam: No space left on device
error: unable to create file packages/core_profiler/core_profiler.v0.16.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.2.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.3.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.5.0/opam: No space left on device
error: unable to create file packages/cowabloga/cowabloga.0.3.0/opam: No space left on device
error: unable to create file packages/cowabloga/cowabloga.0.5.0/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.3/opam: No space left on device
error: unable to create file packages/cpm/cpm.3.0.0/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.6/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/cppo_ocamlbuild/cppo_ocamlbuild.1.8.0/opam: No space left on device
error: unable to create file packages/crc/crc.2.1.0/opam: No space left on device
error: unable to create file packages/crlibm/crlibm.0.1/opam: No space left on device
error: unable to create file packages/cry/cry.1.0.2/opam: No space left on device
error: unable to create file packages/cryptokit/cryptokit.1.20/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.09/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.11/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.12/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.2.3/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.4.0/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/css/css.0.4.0/opam: No space left on device
error: unable to create file packages/cstruct-async/cstruct-async.6.2.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.3.7.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.6.2.0/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.5.1.1/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.6.0.0/opam: No space left on device
error: unable to create file packages/csv/csv.1.4/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.4/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.15.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.16.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.20.2/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.8.1/opam: No space left on device
error: unable to create file packages/ctypes_stubs_js/ctypes_stubs_js.0.1/opam: No space left on device
error: unable to create file packages/cudf/cudf.0.8/opam: No space left on device
error: unable to create file packages/cudf/cudf.0.9-1/opam: No space left on device
error: unable to create file packages/curl/curl.0.10.0/opam: No space left on device
error: unable to create file packages/curly/curly.0.1.0/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_docker/current_docker.0.6.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/current_gitlab/current_gitlab.0.7.2/opam: No space left on device
error: unable to create file packages/current_incr/current_incr.0.3/opam: No space left on device
error: unable to create file packages/current_incr/current_incr.0.5/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.2/opam: No space left on device
error: unable to create file packages/current_rpc/current_rpc.0.6.4/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.7.3/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.10/opam: No space left on device
error: unable to create file packages/cvc5/cvc5.1.2.0/opam: No space left on device
error: unable to create file packages/cviode/cviode.0.0.4/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.0/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.3/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/datakit-server/datakit-server.0.12.2/opam: No space left on device
error: unable to create file packages/datakit-server/datakit-server.1.0.0/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.7/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.10/opam: No space left on device
error: unable to create file packages/daypack-lib/daypack-lib.0.0.2/opam: No space left on device
error: unable to create file packages/dbase4/dbase4.0.1.5/opam: No space left on device
error: unable to create file packages/decimal/decimal.0.2.1/opam: No space left on device
error: unable to create file packages/decimal/decimal.1.0.1/opam: No space left on device
error: unable to create file packages/decoders-cbor/decoders-cbor.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/decoders-ezjsonm/decoders-ezjsonm.0.1.0/opam: No space left on device
error: unable to create file packages/decoders-jsonm/decoders-jsonm.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-msgpck/decoders-msgpck.0.6.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.4.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.5.1/opam: No space left on device
error: unable to create file packages/depext/depext.0.4/opam: No space left on device
error: unable to create file packages/depext/depext.transition/opam: No space left on device
error: unable to create file packages/depgraph/depgraph.0.1.0/opam: No space left on device
error: unable to create file packages/devkit/devkit.1.2/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.2/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-etc/diffast-etc.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-parsing-cli/diffast-langs-fortran-parsing-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-python-spec/diffast-langs-python-spec.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python/diffast-langs-python.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python/diffast-langs-python.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.3.6/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.3/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/dirsp-exchange-kbb2017/dirsp-exchange-kbb2017.0.1.0/opam: No space left on device
error: unable to create file packages/dispatch-js/dispatch-js.0.5.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.2.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.4.0/opam: No space left on device
error: unable to create file packages/dkim-bin/dkim-bin.0.6.0/opam: No space left on device
error: unable to create file packages/dkim-bin/dkim-bin.0.8.0/opam: No space left on device
error: unable to create file packages/dkml-component-offline-opam/dkml-component-offline-opam.2.2.0~alpha0~20221104/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-dune-dsl/dkml-dune-dsl.0.1.3/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.3.1/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.3.0/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-option-vcpkg/dkml-option-vcpkg.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-package-console/dkml-package-console.0.3.1/opam: No space left on device
error: unable to create file packages/dkml-package-console/dkml-package-console.0.5.2/opam: No space left on device
error: unable to create file packages/dkml-workflows/dkml-workflows.1.2.0/opam: No space left on device
error: unable to create file packages/dlist/dlist.0.1.0/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.1.0/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.2.1/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.2.2/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.3/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.1.0/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.2.1/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.10.1.0/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.5.0.1/opam: No space left on device
error: unable to create file packages/dns-forward-lwt-unix/dns-forward-lwt-unix.0.9.0/opam: No space left on device
error: unable to create file packages/dns-lwt/dns-lwt.1.1.3/opam: No space left on device
error: unable to create file packages/dns-mirage/dns-mirage.9.1.0/opam: No space left on device
error: unable to create file packages/dns/dns.1.1.3/opam: No space left on device
error: unable to create file packages/dns/dns.10.2.2/opam: No space left on device
error: unable to create file packages/dns/dns.10.2.3/opam: No space left on device
error: unable to create file packages/dns/dns.4.6.3/opam: No space left on device
error: unable to create file packages/dns/dns.8.0.0/opam: No space left on device
error: unable to create file packages/docfd/docfd.0.5.8/opam: No space left on device
error: unable to create file packages/docfd/docfd.3.0.0/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.1/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.2.8/opam: No space left on device
error: unable to create file packages/docteur-solo5/docteur-solo5.0.0.4/opam: No space left on device
error: unable to create file packages/docteur-solo5/docteur-solo5.0.0.5/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.6/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.1/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.2/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.3/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.3.0.2/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_bin/dolmen_bin.0.10/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.8/opam: No space left on device
error: unable to create file packages/dolmen_lsp/dolmen_lsp.0.10/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.8.1/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.1.0.0/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.1.0.1/opam: No space left on device
error: unable to create file packages/dose3/dose3.5.0.1/opam: No space left on device
error: unable to create file packages/dose3/dose3.6.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.4.9/opam: No space left on device
error: unable to create file packages/dream-accept/dream-accept.0.1.0/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.0.0.3/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.2.0.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.2.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.6.0/opam: No space left on device
error: unable to create file packages/dream-serve/dream-serve.1.0.1/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/dream_middleware_ext/dream_middleware_ext.0.1.1/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.1/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.3.1/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.3.2/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.3.3/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.19.1/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.20.1/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.20.2/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.20.2/opam: No space left on device
error: unable to create file packages/dune-expand/dune-expand.0.0.1/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.17.2/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.3.3/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.6.2/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.15.3/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-site/dune-site.3.20.1/opam: No space left on device
error: unable to create file packages/dune/dune.1.11.4/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/dunolint-lib-base/dunolint-lib-base.0.0.20251006/opam: No space left on device
error: unable to create file packages/dunolint-lib/dunolint-lib.0.0.20250310/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.7.1/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.2/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.5/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.5.0/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.6.0/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/earlybird/earlybird.1.0.3/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.1.0/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.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/easy_logging_yojson/easy_logging_yojson.0.5/opam: No space left on device
error: unable to create file packages/edn/edn.0.1.6-1-gff9db95/opam: No space left on device
error: unable to create file packages/efl/efl.1.12.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.18.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.19.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.2.1/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.10/opam: No space left on device
error: unable to create file packages/eio/eio.0.9/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.3/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.10/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.9.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.9.2/opam: No space left on device
error: unable to create file packages/eliom/eliom.8.6.0/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.2/opam: No space left on device
error: unable to create file packages/eprover/eprover.3.0/opam: No space left on device
error: unable to create file packages/eqaf-cstruct/eqaf-cstruct.0.10/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.8/opam: No space left on device
error: unable to create file packages/expect_test_helpers_core/expect_test_helpers_core.v0.14.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.0.4.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/extlib/extlib.1.7.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.1.5/opam: No space left on device
error: unable to create file packages/ez-conf-lib/ez-conf-lib.1/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_subst/ez_subst.0.2.0/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2.1/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2.3/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2.4/opam: No space left on device
error: unable to create file packages/ezjs_extension/ezjs_extension.0.1/opam: No space left on device
error: unable to create file packages/ezjs_recaptcha/ezjs_recaptcha.0.1/opam: No space left on device
error: unable to create file packages/ezresto/ezresto.0.2/opam: No space left on device
error: unable to create file packages/ezresto/ezresto.0.3/opam: No space left on device
error: unable to create file packages/faad/faad.0.5.1/opam: No space left on device
error: unable to create file packages/fadecider/fadecider.0.7/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.4.0/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.7.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.6.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.1/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/fdkaac/fdkaac.0.2.1/opam: No space left on device
error: unable to create file packages/ff/ff.0.4.0/opam: No space left on device
error: unable to create file packages/ff/ff.0.5.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0~beta2/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.1/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.2/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.1.0/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.0/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.1/opam: No space left on device
error: unable to create file packages/fix/fix.20130611/opam: No space left on device
error: unable to create file packages/fix/fix.20181206/opam: No space left on device
error: unable to create file packages/flac/flac.1.0.0/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/fm-simplex-plugin/fm-simplex-plugin.1.01/opam: No space left on device
error: unable to create file packages/fm-simplex-plugin/fm-simplex-plugin.1.30/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.7/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.8/opam: No space left on device
error: unable to create file packages/fontforge-of-ocaml/fontforge-of-ocaml.1.1.0/opam: No space left on device
error: unable to create file packages/forester/forester.5.0/opam: No space left on device
error: unable to create file packages/fpath-base/fpath-base.0.3.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.27.0/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/frama-clang/frama-clang.0.0.16/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.4/opam: No space left on device
error: unable to create file packages/functory/functory.0.6/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/fzf/fzf.v0.17.0/opam: No space left on device
error: unable to create file packages/gd/gd.1.1/opam: No space left on device
error: unable to create file packages/gdbprofiler/gdbprofiler.0.4/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.3.0/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/gendarme-json/gendarme-json.0.4.0/opam: No space left on device
error: unable to create file packages/gendarme-toml/gendarme-toml.0.3.0/opam: No space left on device
error: unable to create file packages/gendarme-yaml/gendarme-yaml.0.3.0/opam: No space left on device
error: unable to create file packages/gendarme-yaml/gendarme-yaml.0.4.0/opam: No space left on device
error: unable to create file packages/get_line/get_line.4.0.0/opam: No space left on device
error: unable to create file packages/getopts/getopts.0.3.2/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.3.8/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.4.1/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.5.0/opam: No space left on device
error: unable to create file packages/giflib/giflib.1.1.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-cohttp/git-cohttp.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-mirage/git-mirage.3.16.1/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.15.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.17.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.2.1.3/opam: No space left on device
error: unable to create file packages/git/git.2.1.3/opam: No space left on device
error: unable to create file packages/git/git.3.15.0/opam: No space left on device
error: unable to create file packages/github-data/github-data.4.4.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-jsoo/github-jsoo.4.4.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.2/opam: No space left on device
error: unable to create file packages/github/github.4.5.0/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.5/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1-1/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.5.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-mirage/gluten-mirage.0.3.0/opam: No space left on device
error: unable to create file packages/gmp-ecm/gmp-ecm.7.0.3/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.2.1-3/opam: No space left on device
fatal: cannot create directory at 'packages/gobba/gobba.0.4.2': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:36.04: Job failed: Failed: Build failed