Organisations mirage ocaml-dns 47ec8a (main)(lint-opam)
(lint-opam)

Created at Dec 15 14:45 +00:00
0s in queue
Finished at Dec 16 01:01 +00:00
47ec8a
Ran for 0s
Link Copied
Code Copied
Logs

Show raw logs
2025-12-15 14:45.20: New job: test mirage/ocaml-dns https://github.com/mirage/ocaml-dns.git#refs/heads/main (47ec8a5314694c80f6fd6be6f000ca87dd14fdc4) (linux-x86_64:(lint-opam))
Base: ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb
Opam files lint


To reproduce locally:


git clone --recursive "https://github.com/mirage/ocaml-dns.git" -b "main" && cd "ocaml-dns" && git reset --hard 47ec8a53
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb
# debian-13-5.0_opam-2.4
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 dnssec.opam dns.opam dns-tsig.opam dns-stub.opam dns-server.opam dns-resolver.opam dns-mirage.opam dns-client.opam dns-client-mirage.opam dns-client-miou-unix.opam dns-client-lwt.opam dns-cli.opam dns-certify.opam ./
RUN opam pin add -yn dnssec.dev './' && \
opam pin add -yn dns.dev './' && \
opam pin add -yn dns-tsig.dev './' && \
opam pin add -yn dns-stub.dev './' && \
opam pin add -yn dns-server.dev './' && \
opam pin add -yn dns-resolver.dev './' && \
opam pin add -yn dns-mirage.dev './' && \
opam pin add -yn dns-client.dev './' && \
opam pin add -yn dns-client-mirage.dev './' && \
opam pin add -yn dns-client-miou-unix.dev './' && \
opam pin add -yn dns-client-lwt.dev './' && \
opam pin add -yn dns-cli.dev './' && \
opam pin add -yn dns-certify.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 arp.4.1.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bos.0.2.1 ca-certs.1.0.1 ca-certs-nss.3.118 cmdliner.2.1.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 cstruct-lwt.6.2.0 digestif.1.3.0 domain-name.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 dyn.3.20.2 eqaf.0.10 ethernet.3.2.0 fmt.0.11.0 fpath.0.7.3 gmap.0.3.0 happy-eyeballs.2.0.1 happy-eyeballs-lwt.2.0.1 happy-eyeballs-miou-unix.2.0.1 happy-eyeballs-mirage.2.0.1 ipaddr.5.6.1 ipaddr-cstruct.5.6.1 jsonm.1.0.2 kdf.1.0.0 logs.0.10.0 lru.0.3.1 lwt.5.9.2 lwt-dllist.1.1.0 macaddr.5.6.1 macaddr-cstruct.5.6.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 metrics.0.5.0 miou.0.5.0 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mirage-flow.5.0.0 mirage-kv.6.1.1 mirage-mtime.5.2.0 mirage-net.4.0.0 mirage-ptime.5.2.0 mirage-sleep.4.1.0 mtime.2.1.0 num.1.6 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 ocplib-endian.1.2 ohex.0.2.0 opam-core.2.5.0 opam-dune-lint.0.6 opam-file-format.2.2.0 opam-format.2.5.0 opam-repository.2.5.0 opam-state.2.5.0 optint.0.3.0 ordering.3.20.2 parsexp.v0.16.0 patch.3.1.0 pp.2.0.0 psq.0.2.1 ptime.1.2.0 randomconv.0.2.0 re.1.14.0 rresult.0.7.0 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4 spdx_licenses.1.4.0 stdlib-shims.0.3.0 stdune.3.20.2 swhid_core.0.1 tcpip.9.0.1 tls.2.0.3 tls-lwt.2.0.3 tls-miou-unix.2.0.3 tls-mirage.2.0.3 topkg.1.1.1 uutf.1.0.4 x509.1.0.6 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y dnssec.dev dns.dev dns-tsig.dev dns-stub.dev dns-server.dev dns-resolver.dev dns-mirage.dev dns-client.dev dns-client-mirage.dev dns-client-miou-unix.dev dns-client-lwt.dev dns-cli.dev dns-certify.dev $DEPS
RUN opam install $DEPS
ENV CI="true"
ENV OCAMLCI="true"
WORKDIR /src
COPY --chown=1000:1000 . /src/
RUN opam lint
RUN opam exec -- opam-dune-lint


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2025-12-15 14:45.20: Using cache hint "mirage/ocaml-dns-ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb-debian-13-5.0_opam-2.4-af063a8c106f9448c48c1eb5a45609a7"
2025-12-15 14:45.20: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb)
(comment debian-13-5.0_opam-2.4)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src dnssec.opam dns.opam dns-tsig.opam dns-stub.opam dns-server.opam dns-resolver.opam dns-mirage.opam dns-client.opam dns-client-mirage.opam dns-client-miou-unix.opam dns-client-lwt.opam dns-cli.opam dns-certify.opam)
(dst ./))
(run (network host)
(shell  "opam pin add -yn dnssec.dev './' && \
\nopam pin add -yn dns.dev './' && \
\nopam pin add -yn dns-tsig.dev './' && \
\nopam pin add -yn dns-stub.dev './' && \
\nopam pin add -yn dns-server.dev './' && \
\nopam pin add -yn dns-resolver.dev './' && \
\nopam pin add -yn dns-mirage.dev './' && \
\nopam pin add -yn dns-client.dev './' && \
\nopam pin add -yn dns-client-mirage.dev './' && \
\nopam pin add -yn dns-client-miou-unix.dev './' && \
\nopam pin add -yn dns-client-lwt.dev './' && \
\nopam pin add -yn dns-cli.dev './' && \
\nopam pin add -yn dns-certify.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 arp.4.1.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bos.0.2.1 ca-certs.1.0.1 ca-certs-nss.3.118 cmdliner.2.1.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 cstruct-lwt.6.2.0 digestif.1.3.0 domain-name.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 dyn.3.20.2 eqaf.0.10 ethernet.3.2.0 fmt.0.11.0 fpath.0.7.3 gmap.0.3.0 happy-eyeballs.2.0.1 happy-eyeballs-lwt.2.0.1 happy-eyeballs-miou-unix.2.0.1 happy-eyeballs-mirage.2.0.1 ipaddr.5.6.1 ipaddr-cstruct.5.6.1 jsonm.1.0.2 kdf.1.0.0 logs.0.10.0 lru.0.3.1 lwt.5.9.2 lwt-dllist.1.1.0 macaddr.5.6.1 macaddr-cstruct.5.6.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 metrics.0.5.0 miou.0.5.0 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mirage-flow.5.0.0 mirage-kv.6.1.1 mirage-mtime.5.2.0 mirage-net.4.0.0 mirage-ptime.5.2.0 mirage-sleep.4.1.0 mtime.2.1.0 num.1.6 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 ocplib-endian.1.2 ohex.0.2.0 opam-core.2.5.0 opam-dune-lint.0.6 opam-file-format.2.2.0 opam-format.2.5.0 opam-repository.2.5.0 opam-state.2.5.0 optint.0.3.0 ordering.3.20.2 parsexp.v0.16.0 patch.3.1.0 pp.2.0.0 psq.0.2.1 ptime.1.2.0 randomconv.0.2.0 re.1.14.0 rresult.0.7.0 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4 spdx_licenses.1.4.0 stdlib-shims.0.3.0 stdune.3.20.2 swhid_core.0.1 tcpip.9.0.1 tls.2.0.3 tls-lwt.2.0.3 tls-miou-unix.2.0.3 tls-mirage.2.0.3 topkg.1.1.1 uutf.1.0.4 x509.1.0.6 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y dnssec.dev dns.dev dns-tsig.dev dns-stub.dev dns-server.dev dns-resolver.dev dns-mirage.dev dns-client.dev dns-client-mirage.dev dns-client-miou-unix.dev dns-client-lwt.dev dns-cli.dev dns-certify.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(env CI true)
(env OCAMLCI true)
(workdir /src)
(copy (src .) (dst /src/))
(run (shell "opam lint"))
(run (shell "opam exec -- opam-dune-lint"))
)


2025-12-15 14:45.20: Waiting for resource in pool OCluster
2025-12-16 00:53.46: Waiting for worker…
2025-12-16 00:54.14: Got resource from pool OCluster
Building on clete
All commits already cached
HEAD is now at 47ec8a5 changes for 10.2.3


(from ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.0@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb' locally
docker.io/ocaml/opam@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb: Pulling from ocaml/opam
2981f7e8980b: Already exists
9c63e1c4ba84: Already exists
02578b9c9f1b: Already exists
3801cb7ba5e6: Already exists
1c4cdedd39f1: Already exists
40f6006c5f5a: Already exists
c451a17216ec: Already exists
e4104b8f72ee: Already exists
7c7dbc5e7919: Already exists
aa82be714e7c: Already exists
922520f12384: Already exists
9bfea042cef8: Already exists
1244979f7c21: Already exists
7583a0e34f94: Already exists
14bef3f2665a: Already exists
3a4b42ce6cb5: Already exists
b0a08a900877: Already exists
b0a08a900877: Already exists
16ac87e68d60: Already exists
74ac6e8c9b82: Already exists
b41290a57dc5: Already exists
592e5bcb7159: Already exists
4f4fb700ef54: Already exists
1db0705661a3: Already exists
76bb8e35b9cc: Already exists
3bc9d98c3b49: Already exists
7096ef42e6c0: Already exists
cd0e70de8125: Already exists
23ffab57f98e: Already exists
b974353d8023: Already exists
c74fba566723: Already exists
5ad399846f45: Already exists
3e7203fa3980: Already exists
0b8915d2a92b: Already exists
e68c7a56c438: Already exists
9024d680a167: Already exists
3c7c73421b6e: Already exists
7134fa9b4278: Already exists
9d94fb523099: Already exists
20d06dbdae7e: Already exists
b9a45e537661: Already exists
1244d0a6dd53: Already exists
e99898bc5ad2: Already exists
594e2481e296: Already exists
d60e4a6dbe2f: Already exists
Digest: sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb
Status: Downloaded newer image for ocaml/opam@sha256:a02c1a0b7a5d28f99108d0e1c8ee85f661a8d952731fb6a3d63fa57a3dcd7ebb
2025-12-16 00:54.14 ---> using "115e19c94ffea8f0289657e7bdf7e8af959005f00162f42ce222e9431770c297" from cache


/: (comment debian-13-5.0_opam-2.4)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2025-12-16 00:54.14 ---> using "e2d1fcba138c65d0b368e6af9bef77504436de6e0c72fb995ca6601e1ef18760" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-16 00:54.14 ---> using "dd9430ca301e96434d9ccda11866a10391f3c5a8ad3fc73179a3d81aa01c31cc" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-84-generic
The OCaml toplevel, version 5.0.0
2.2.1
2025-12-16 00:54.14 ---> using "ae6644479d064e098c36b1cafb924ee71689af00a0b8d7191550c81756c0d81f" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-12-16 00:54.14 ---> using "840afb74a4041c85210ff4165e99e80cdf488386f58d8496e9c080416cd38320" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
ee48e882f0..c65fcb1165  master     -> origin/master
c65fcb1165 Merge pull request #29080 from dra27/ocaml-config-urls


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2025-12-16 00:54.14 ---> using "b5c7d3049e74c499b1900654c9060f6d8526690a0770443d19e190407a753571" from cache


/src: (copy (src dnssec.opam dns.opam dns-tsig.opam dns-stub.opam dns-server.opam dns-resolver.opam dns-mirage.opam dns-client.opam dns-client-mirage.opam dns-client-miou-unix.opam dns-client-lwt.opam dns-cli.opam dns-certify.opam)
(dst ./))
2025-12-16 00:54.15 ---> saved as "c956932844c82664d965bf3a042fe38e72590eae3c1a86c16cb6231581be7507"


/src: (run (network host)
(shell  "opam pin add -yn dnssec.dev './' && \
\nopam pin add -yn dns.dev './' && \
\nopam pin add -yn dns-tsig.dev './' && \
\nopam pin add -yn dns-stub.dev './' && \
\nopam pin add -yn dns-server.dev './' && \
\nopam pin add -yn dns-resolver.dev './' && \
\nopam pin add -yn dns-mirage.dev './' && \
\nopam pin add -yn dns-client.dev './' && \
\nopam pin add -yn dns-client-mirage.dev './' && \
\nopam pin add -yn dns-client-miou-unix.dev './' && \
\nopam pin add -yn dns-client-lwt.dev './' && \
\nopam pin add -yn dns-cli.dev './' && \
\nopam pin add -yn dns-certify.dev './'"))
[dnssec.dev] synchronised (file:///src)
dnssec is now pinned to file:///src (version dev)
[dns.dev] synchronised (file:///src)
dns is now pinned to file:///src (version dev)
[dns-tsig.dev] synchronised (file:///src)
dns-tsig is now pinned to file:///src (version dev)
[dns-stub.dev] synchronised (file:///src)
dns-stub is now pinned to file:///src (version dev)
[dns-server.dev] synchronised (file:///src)
dns-server is now pinned to file:///src (version dev)
[dns-resolver.dev] synchronised (file:///src)
dns-resolver is now pinned to file:///src (version dev)
[dns-mirage.dev] synchronised (file:///src)
dns-mirage is now pinned to file:///src (version dev)
[dns-client.dev] synchronised (file:///src)
dns-client is now pinned to file:///src (version dev)
[dns-client-mirage.dev] synchronised (file:///src)
dns-client-mirage is now pinned to file:///src (version dev)
[dns-client-miou-unix.dev] synchronised (file:///src)
dns-client-miou-unix is now pinned to file:///src (version dev)
[dns-client-lwt.dev] synchronised (file:///src)
dns-client-lwt is now pinned to file:///src (version dev)
[dns-cli.dev] synchronised (file:///src)
dns-cli is now pinned to file:///src (version dev)
[dns-certify.dev] synchronised (file:///src)
dns-certify is now pinned to file:///src (version dev)
2025-12-16 00:54.51 ---> saved as "1a33f411b1897d887647f8218acbcea56e3c0ef67a3f93bbbfdb72138cc8edb0"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-12-16 00:54.51 ---> saved as "0d009822abe3b1a748415bc5545f4a97024290f1b22bd22c65a7b4feb4e285cc"


/src: (env DEPS "alcotest.1.9.1 arp.4.1.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bos.0.2.1 ca-certs.1.0.1 ca-certs-nss.3.118 cmdliner.2.1.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 cstruct-lwt.6.2.0 digestif.1.3.0 domain-name.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 dyn.3.20.2 eqaf.0.10 ethernet.3.2.0 fmt.0.11.0 fpath.0.7.3 gmap.0.3.0 happy-eyeballs.2.0.1 happy-eyeballs-lwt.2.0.1 happy-eyeballs-miou-unix.2.0.1 happy-eyeballs-mirage.2.0.1 ipaddr.5.6.1 ipaddr-cstruct.5.6.1 jsonm.1.0.2 kdf.1.0.0 logs.0.10.0 lru.0.3.1 lwt.5.9.2 lwt-dllist.1.1.0 macaddr.5.6.1 macaddr-cstruct.5.6.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 metrics.0.5.0 miou.0.5.0 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mirage-flow.5.0.0 mirage-kv.6.1.1 mirage-mtime.5.2.0 mirage-net.4.0.0 mirage-ptime.5.2.0 mirage-sleep.4.1.0 mtime.2.1.0 num.1.6 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 ocplib-endian.1.2 ohex.0.2.0 opam-core.2.5.0 opam-dune-lint.0.6 opam-file-format.2.2.0 opam-format.2.5.0 opam-repository.2.5.0 opam-state.2.5.0 optint.0.3.0 ordering.3.20.2 parsexp.v0.16.0 patch.3.1.0 pp.2.0.0 psq.0.2.1 ptime.1.2.0 randomconv.0.2.0 re.1.14.0 rresult.0.7.0 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4 spdx_licenses.1.4.0 stdlib-shims.0.3.0 stdune.3.20.2 swhid_core.0.1 tcpip.9.0.1 tls.2.0.3 tls-lwt.2.0.3 tls-miou-unix.2.0.3 tls-mirage.2.0.3 topkg.1.1.1 uutf.1.0.4 x509.1.0.6 zarith.1.14")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y dnssec.dev dns.dev dns-tsig.dev dns-stub.dev dns-server.dev dns-resolver.dev dns-mirage.dev dns-client.dev dns-client-mirage.dev dns-client-miou-unix.dev dns-client-lwt.dev dns-cli.dev dns-certify.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [84.8 kB]
- Fetched 176 kB in 0s (794 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[dns.dev] synchronised (file:///src)
[dns-certify.dev] synchronised (file:///src)
[dns-cli.dev] synchronised (file:///src)
[dns-client.dev] synchronised (file:///src)
[dns-client-lwt.dev] synchronised (file:///src)
[dns-client-miou-unix.dev] synchronised (file:///src)
[dns-client-mirage.dev] synchronised (file:///src)
[dns-mirage.dev] synchronised (file:///src)
[dns-resolver.dev] synchronised (file:///src)
[dns-server.dev] synchronised (file:///src)
[dns-stub.dev] synchronised (file:///src)
[dns-tsig.dev] synchronised (file:///src)
[dnssec.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.0.0).
[NOTE] Package ocaml is already installed (current version is 5.0.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


The following system packages will first need to be installed:
libgmp-dev pkg-config


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20622 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-12-16 00:55.23 ---> saved as "934e44b3a6d34e1463268c7ed4afa9bc8a818bb122a309bbdabac45c01410f53"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.0.0).
[NOTE] Package ocaml is already installed (current version is 5.0.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 100 packages
- install alcotest                 1.9.1
- install arp                      4.1.0
- install asn1-combinators         0.3.2
- install astring                  0.8.5
- install base-bytes               base
- install base64                   3.5.2
- install bos                      0.2.1
- install ca-certs                 1.0.1
- install ca-certs-nss             3.118
- install cmdliner                 2.1.0
- install conf-gmp                 5
- install conf-gmp-powm-sec        4
- install conf-pkg-config          4
- install cppo                     1.8.0
- install csexp                    1.5.2
- install cstruct                  6.2.0
- install cstruct-lwt              6.2.0
- install digestif                 1.3.0
- install dns                      dev (pinned) [required by happy-eyeballs-lwt]
- install domain-name              0.5.0
- install dune                     3.20.2
- install dune-configurator        3.20.2
- install duration                 0.2.1
- install dyn                      3.20.2
- install eqaf                     0.10
- install ethernet                 3.2.0
- install fmt                      0.11.0
- install fpath                    0.7.3
- install gmap                     0.3.0
- install happy-eyeballs           2.0.1
- install happy-eyeballs-lwt       2.0.1
- install happy-eyeballs-miou-unix 2.0.1
- install happy-eyeballs-mirage    2.0.1
- install ipaddr                   5.6.1
- install ipaddr-cstruct           5.6.1
- install jsonm                    1.0.2
- install kdf                      1.0.0
- install logs                     0.10.0
- install lru                      0.3.1
- install lwt                      5.9.2
- install lwt-dllist               1.1.0
- install macaddr                  5.6.1
- install macaddr-cstruct          5.6.1
- install menhir                   20250912
- install menhirCST                20250912
- install menhirLib                20250912
- install menhirSdk                20250912
- install metrics                  0.5.0
- install miou                     0.5.0
- install mirage-crypto            2.0.2
- install mirage-crypto-ec         2.0.2
- install mirage-crypto-pk         2.0.2
- install mirage-crypto-rng        2.0.2
- install mirage-flow              5.0.0
- install mirage-kv                6.1.1
- install mirage-mtime             5.2.0
- install mirage-net               4.0.0
- install mirage-ptime             5.2.0
- install mirage-sleep             4.1.0
- install mtime                    2.1.0
- install num                      1.6
- install ocaml-syntax-shims       1.0.0
- install ocamlbuild               0.16.1
- install ocamlfind                1.9.8
- install ocamlgraph               2.2.0
- install ocplib-endian            1.2
- install ohex                     0.2.0
- install opam-core                2.5.0
- install opam-dune-lint           0.6
- install opam-file-format         2.2.0
- install opam-format              2.5.0
- install opam-repository          2.5.0
- install opam-state               2.5.0
- install optint                   0.3.0
- install ordering                 3.20.2
- install parsexp                  v0.16.0
- install patch                    3.1.0
- install pp                       2.0.0
- install psq                      0.2.1
- install ptime                    1.2.0
- install randomconv               0.2.0
- install re                       1.14.0
- install rresult                  0.7.0
- install seq                      base
- install sexplib                  v0.16.0
- install sexplib0                 v0.16.0
- install sha                      1.15.4
- install spdx_licenses            1.4.0
- install stdlib-shims             0.3.0
- install stdune                   3.20.2
- install swhid_core               0.1
- install tcpip                    9.0.1
- install tls                      2.0.3
- install tls-lwt                  2.0.3
- install tls-miou-unix            2.0.3
- install tls-mirage               2.0.3
- install topkg                    1.1.1
- install uutf                     1.0.4
- install x509                     1.0.6
- install zarith                   1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved arp.4.1.0  (cached)
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved base64.3.5.2  (cached)
-> retrieved alcotest.1.9.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved ca-certs.1.0.1  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved conf-gmp-powm-sec.4  (cached)
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> retrieved cppo.1.8.0  (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved cmdliner.2.1.0  (cached)
-> retrieved ca-certs-nss.3.118  (cached)
-> retrieved cstruct.6.2.0, cstruct-lwt.6.2.0  (cached)
-> retrieved dns.dev  (file:///src)
-> retrieved domain-name.0.5.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved ethernet.3.2.0  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved gmap.0.3.0  (cached)
-> retrieved happy-eyeballs.2.0.1, happy-eyeballs-lwt.2.0.1, happy-eyeballs-miou-unix.2.0.1, happy-eyeballs-mirage.2.0.1  (cached)
-> retrieved ipaddr.5.6.1, ipaddr-cstruct.5.6.1, macaddr.5.6.1, macaddr-cstruct.5.6.1  (cached)
-> retrieved jsonm.1.0.2  (cached)
-> retrieved kdf.1.0.0  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved lru.0.3.1  (cached)
-> retrieved lwt.5.9.2  (cached)
-> retrieved lwt-dllist.1.1.0  (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912  (cached)
-> retrieved digestif.1.3.0  (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2, dyn.3.20.2, ordering.3.20.2, stdune.3.20.2  (cached)
-> retrieved metrics.0.5.0  (cached)
-> retrieved miou.0.5.0  (cached)
-> retrieved mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2, mirage-crypto-pk.2.0.2, mirage-crypto-rng.2.0.2  (cached)
-> retrieved mirage-flow.5.0.0  (cached)
-> retrieved mirage-kv.6.1.1  (cached)
-> retrieved mirage-mtime.5.2.0  (cached)
-> retrieved mirage-net.4.0.0  (cached)
-> retrieved mirage-ptime.5.2.0  (cached)
-> retrieved mirage-sleep.4.1.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved num.1.6  (cached)
-> installed cmdliner.2.1.0
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved opam-dune-lint.0.6  (cached)
-> retrieved opam-file-format.2.2.0  (cached)
-> retrieved ocamlgraph.2.2.0  (cached)
-> retrieved opam-core.2.5.0, opam-format.2.5.0, opam-repository.2.5.0, opam-state.2.5.0  (cached)
-> retrieved optint.0.3.0  (cached)
-> retrieved parsexp.v0.16.0  (cached)
-> retrieved patch.3.1.0  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved psq.0.2.1  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved re.1.14.0  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved sexplib.v0.16.0  (cached)
-> retrieved sexplib0.v0.16.0  (cached)
-> retrieved sha.1.15.4  (cached)
-> retrieved spdx_licenses.1.4.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved swhid_core.0.1  (cached)
-> retrieved tcpip.9.0.1  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved x509.1.0.6  (cached)
-> retrieved tls.2.0.3, tls-lwt.2.0.3, tls-miou-unix.2.0.3, tls-mirage.2.0.3  (cached)
-> installed num.1.6
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed mtime.2.1.0
-> installed fmt.0.11.0
-> installed uutf.1.0.4
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed jsonm.1.0.2
-> installed fpath.0.7.3
-> installed dune.3.20.2
-> installed asn1-combinators.0.3.2
-> installed base64.3.5.2
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed domain-name.0.5.0
-> installed duration.0.2.1
-> installed eqaf.0.10
-> installed gmap.0.3.0
-> installed lwt-dllist.1.1.0
-> installed macaddr.5.6.1
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed metrics.0.5.0
-> installed mirage-mtime.5.2.0
-> installed mirage-ptime.5.2.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed optint.0.3.0
-> installed patch.3.1.0
-> installed pp.2.0.0
-> installed psq.0.2.1
-> installed randomconv.0.2.0
-> installed re.1.14.0
-> installed sexplib0.v0.16.0
-> installed ocamlgraph.2.2.0
-> installed spdx_licenses.1.4.0
-> installed stdlib-shims.0.3.0
-> installed swhid_core.0.1
-> installed ocplib-endian.1.2
-> installed ipaddr.5.6.1
-> installed macaddr-cstruct.5.6.1
-> installed lru.0.3.1
-> installed digestif.1.3.0
-> installed ipaddr-cstruct.5.6.1
-> installed alcotest.1.9.1
-> installed ordering.3.20.2
-> installed parsexp.v0.16.0
-> installed dune-configurator.3.20.2
-> installed sha.1.15.4
-> installed sexplib.v0.16.0
-> installed miou.0.5.0
-> installed dyn.3.20.2
-> installed mirage-crypto.2.0.2
-> installed kdf.1.0.0
-> installed lwt.5.9.2
-> installed mirage-flow.5.0.0
-> installed cstruct-lwt.6.2.0
-> installed mirage-kv.6.1.1
-> installed mirage-net.4.0.0
-> installed mirage-sleep.4.1.0
-> installed logs.0.10.0
-> installed dns.dev
-> installed ethernet.3.2.0
-> installed happy-eyeballs.2.0.1
-> installed mirage-crypto-rng.2.0.2
-> installed arp.4.1.0
-> installed happy-eyeballs-lwt.2.0.1
-> installed happy-eyeballs-miou-unix.2.0.1
-> installed mirage-crypto-pk.2.0.2
-> installed opam-core.2.5.0
-> installed stdune.3.20.2
-> installed tcpip.9.0.1
-> installed bos.0.2.1
-> installed happy-eyeballs-mirage.2.0.1
-> installed mirage-crypto-ec.2.0.2
-> installed menhir.20250912
-> installed x509.1.0.6
-> installed opam-file-format.2.2.0
-> installed ca-certs.1.0.1
-> installed ca-certs-nss.3.118
-> installed tls.2.0.3
-> installed tls-miou-unix.2.0.3
-> installed tls-mirage.2.0.3
-> installed tls-lwt.2.0.3
-> installed opam-format.2.5.0
-> installed opam-repository.2.5.0
-> installed opam-state.2.5.0
-> installed opam-dune-lint.0.6
Done.
# Run eval $(opam env) to update the current shell environment
2025-12-16 01:01.36 ---> saved as "cbb88810726474b2042d7e5ce1519f5cfe1af31551d64536acb8dd7d160a79dd"


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (workdir /src)


/src: (copy (src .) (dst /src/))
2025-12-16 01:01.37 ---> saved as "4d57190ee27ae0f56a294669374ad1dfb53ddbf90bb5717121fbc58005fb9dc4"


/src: (run (shell "opam lint"))
/src/dnssec.opam: Passed.
/src/dns.opam: Passed.
/src/dns-tsig.opam: Passed.
/src/dns-stub.opam: Passed.
/src/dns-server.opam: Passed.
/src/dns-resolver.opam: Passed.
/src/dns-mirage.opam: Passed.
/src/dns-client.opam: Passed.
/src/dns-client-mirage.opam: Passed.
/src/dns-client-miou-unix.opam: Passed.
/src/dns-client-lwt.opam: Passed.
/src/dns-cli.opam: Passed.
/src/dns-certify.opam: Passed.
2025-12-16 01:01.39 ---> saved as "d4bff3d2c2c1b5ca2b05a131b5bc03e7d5bf65451b306c664d1fb8ad7a6a978e"


/src: (run (shell "opam exec -- opam-dune-lint"))
dns-certify.opam: OK
dns-cli.opam: OK
dns-client-lwt.opam: OK
dns-client-miou-unix.opam: OK
dns-client-mirage.opam: OK
dns-client.opam: OK
dns-mirage.opam: OK
dns-resolver.opam: OK
dns-server.opam: OK
dns-stub.opam: OK
dns-tsig.opam: OK
dns.opam: OK
dnssec.opam: OK
2025-12-16 01:01.41 ---> saved as "208ba30b8936427589b0083029d4d0c1019f2dd1a2bb0f03a9335979c5baf142"
Job succeeded
2025-12-16 01:01.41: Job succeeded