Getting StartedDocumentation
Organisationsrobur-coopmioue48b40 (main)(lower-bound)

(lower-bound)

Link Copied
Code Copied

Logs

Show raw logs
2025-09-03 14:07.23: New job: test robur-coop/miou https://github.com/robur-coop/miou.git#refs/heads/main (e48b40a53d419cf83da201c2571ebe737317e178) (linux-x86_64:(lower-bound))
Base: ocaml/opam:debian-12-ocaml-5.0@sha256:124f347f91e67bbee17e253ff93ee3b3dc82ad2b4429aaae0ec31e2d2f084723
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/robur-coop/miou.git" -b "main" && cd "miou" && git reset --hard e48b40a5
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.0@sha256:124f347f91e67bbee17e253ff93ee3b3dc82ad2b4429aaae0ec31e2d2f084723
# debian-12-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.4 /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 ad5e7b171baa0613173e1e1e85537e0b4c4f60f6 || git fetch origin master) && git reset -q --hard ad5e7b171baa0613173e1e1e85537e0b4c4f60f6 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 miou.opam ./
RUN opam pin add -yn miou.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="angstrom.0.14.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.3.0 bigarray-compat.1.1.0 bigstringaf.0.5.0 cmdliner.1.0.4 containers.3.7 csexp.1.3.1 cstruct.6.0.0 digestif.0.9.0 dns.7.0.3 dns-client.7.0.3 domain-name.0.4.1 dscheck.0.4.0 dune.3.10.0 dune-configurator.2.9.3 duration.0.2.1 either.1.0.0 eqaf.0.9 fmt.0.9.0 fpath.0.7.3 gmap.0.3.0 happy-eyeballs.0.6.0 hxd.0.2.0 ipaddr.5.6.0 logs.0.7.0 lru.0.3.0-1 macaddr.5.6.0 metrics.0.4.1 mirage-crypto.0.11.3 mirage-crypto-rng.0.11.3 mtime.2.1.0 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.14.1 ocamlfind.1.9.6 oseq.0.4.1 psq.0.2.0 ptime.1.2.0 randomconv.0.1.3 result.1.5 rresult.0.6.0 seq.0.3 stdlib-shims.0.1.0 topkg.1.0.8 tsort.1.0.0"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --depext-only -y miou.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


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


2025-09-03 14:07.23: Using cache hint "robur-coop/miou-ocaml/opam:debian-12-ocaml-5.0@sha256:124f347f91e67bbee17e253ff93ee3b3dc82ad2b4429aaae0ec31e2d2f084723-debian-12-5.0_opam-2.4-c592fcaf1ba3ee854b1d0304a8e463c6"
2025-09-03 14:07.23: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.0@sha256:124f347f91e67bbee17e253ff93ee3b3dc82ad2b4429aaae0ec31e2d2f084723)
(comment debian-12-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.4 /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 ad5e7b171baa0613173e1e1e85537e0b4c4f60f6 || git fetch origin master) && git reset -q --hard ad5e7b171baa0613173e1e1e85537e0b4c4f60f6 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src miou.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn miou.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "angstrom.0.14.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.3.0 bigarray-compat.1.1.0 bigstringaf.0.5.0 cmdliner.1.0.4 containers.3.7 csexp.1.3.1 cstruct.6.0.0 digestif.0.9.0 dns.7.0.3 dns-client.7.0.3 domain-name.0.4.1 dscheck.0.4.0 dune.3.10.0 dune-configurator.2.9.3 duration.0.2.1 either.1.0.0 eqaf.0.9 fmt.0.9.0 fpath.0.7.3 gmap.0.3.0 happy-eyeballs.0.6.0 hxd.0.2.0 ipaddr.5.6.0 logs.0.7.0 lru.0.3.0-1 macaddr.5.6.0 metrics.0.4.1 mirage-crypto.0.11.3 mirage-crypto-rng.0.11.3 mtime.2.1.0 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.14.1 ocamlfind.1.9.6 oseq.0.4.1 psq.0.2.0 ptime.1.2.0 randomconv.0.1.3 result.1.5 rresult.0.6.0 seq.0.3 stdlib-shims.0.1.0 topkg.1.0.8 tsort.1.0.0")
(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.4 --depext-only -y miou.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2025-09-03 14:07.23: Waiting for resource in pool OCluster
2025-09-03 14:07.23: Waiting for worker…
2025-09-03 14:17.26: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at e48b40a Merge pull request #72 from robur-coop/philosophers-fix


(from ocaml/opam:debian-12-ocaml-5.0@sha256:124f347f91e67bbee17e253ff93ee3b3dc82ad2b4429aaae0ec31e2d2f084723)
2025-09-03 14:17.51 ---> saved as "724cc3077250e8fe6f5c0e7d73a17b3076772e78814e1ca4ca8477b85b4ec558"


/: (comment debian-12-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.4 /usr/bin/opam"))
2025-09-03 14:17.52 ---> saved as "ad6a569d2cf4c021cbad01545ccf2791ddde90397f012340093bba6e63632865"


/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 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
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-09-03 14:18.27 ---> saved as "7bb8d5fc673c922740661844b7756373072c93dd78e85344029a4c581146f39a"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-142-generic
The OCaml toplevel, version 5.0.0
2.4.1
2025-09-03 14:18.27 ---> saved as "3928b5de8f76e1c7ae5a3190c8c54e955daa10913dcdee873cc620646e673b22"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-09-03 14:18.27 ---> saved as "114feba4a2d2aa5956eeab39d4384970ec31c0997439ba076bdccf0667d9a05b"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e ad5e7b171baa0613173e1e1e85537e0b4c4f60f6 || git fetch origin master) && git reset -q --hard ad5e7b171baa0613173e1e1e85537e0b4c4f60f6 && git log --no-decorate -n1 --oneline && opam update -u"))
ad5e7b171b Merge pull request #28337 from dinosaure/fix-lower-bounds-git-kv


<><> 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 at these versions (e.g. "opam upgrade ocaml.5.3.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-09-03 14:18.51 ---> saved as "f08af50d7dd73a6abec943f9ac5a88a3ba9801980441eae202871c8576587f30"


/src: (copy (src miou.opam) (dst ./))
2025-09-03 14:18.51 ---> saved as "339576e2b3a188a5f27ceab9cca1b05f5cf30880b1c5b64d3ee92de4a9c73262"


/src: (run (network host)
(shell "opam pin add -yn miou.dev './'"))
[miou.dev] synchronised (file:///src)
miou is now pinned to file:///src (version dev)
2025-09-03 14:18.54 ---> saved as "51cc71301e752da19802ff193d5b0eaad83ea76e9ecc73cdfad4f05b8ed9e1c6"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-09-03 14:18.55 ---> saved as "8c6faba1e9b11ab1ea63b0d1908ab146f53514f5e2c111497a6ca9a61fbc602b"


/src: (env DEPS "angstrom.0.14.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.3.0 bigarray-compat.1.1.0 bigstringaf.0.5.0 cmdliner.1.0.4 containers.3.7 csexp.1.3.1 cstruct.6.0.0 digestif.0.9.0 dns.7.0.3 dns-client.7.0.3 domain-name.0.4.1 dscheck.0.4.0 dune.3.10.0 dune-configurator.2.9.3 duration.0.2.1 either.1.0.0 eqaf.0.9 fmt.0.9.0 fpath.0.7.3 gmap.0.3.0 happy-eyeballs.0.6.0 hxd.0.2.0 ipaddr.5.6.0 logs.0.7.0 lru.0.3.0-1 macaddr.5.6.0 metrics.0.4.1 mirage-crypto.0.11.3 mirage-crypto-rng.0.11.3 mtime.2.1.0 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.14.1 ocamlfind.1.9.6 oseq.0.4.1 psq.0.2.0 ptime.1.2.0 randomconv.0.1.3 result.1.5 rresult.0.6.0 seq.0.3 stdlib-shims.0.1.0 topkg.1.0.8 tsort.1.0.0")


/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.4 --depext-only -y miou.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [277 kB]
- Fetched 380 kB in 1s (467 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[miou.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).
2025-09-03 14:19.06 ---> saved as "79f74147dbad3f916977cdd1f4d30cd34809297e3615816255ca1747f3e37cac"


/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 45 packages
- install angstrom          0.14.0
- install astring           0.8.5
- install base-bytes        base
- install base64            3.3.0
- install bigarray-compat   1.1.0
- install bigstringaf       0.5.0
- install cmdliner          1.0.4
- install containers        3.7
- install csexp             1.3.1
- install cstruct           6.0.0
- install digestif          0.9.0
- install dns               7.0.3
- install dns-client        7.0.3
- install domain-name       0.4.1
- install dscheck           0.4.0
- install dune              3.10.0
- install dune-configurator 2.9.3
- install duration          0.2.1
- install either            1.0.0
- install eqaf              0.9
- install fmt               0.9.0
- install fpath             0.7.3
- install gmap              0.3.0
- install happy-eyeballs    0.6.0
- install hxd               0.2.0
- install ipaddr            5.6.0
- install logs              0.7.0
- install lru               0.3.0-1
- install macaddr           5.6.0
- install metrics           0.4.1
- install mirage-crypto     0.11.3
- install mirage-crypto-rng 0.11.3
- install mtime             2.1.0
- install ocamlbuild        0.14.1
- install ocamlfind         1.9.6
- install oseq              0.4.1
- install psq               0.2.0
- install ptime             1.2.0
- install randomconv        0.1.3
- install result            1.5
- install rresult           0.6.0
- install seq               0.3
- install stdlib-shims      0.1.0
- install topkg             1.0.8
- install tsort             1.0.0


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.14.0  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved base64.3.3.0  (cached)
-> retrieved bigarray-compat.1.1.0  (cached)
-> retrieved bigstringaf.0.5.0  (cached)
-> retrieved cmdliner.1.0.4  (cached)
-> retrieved containers.3.7  (cached)
-> retrieved csexp.1.3.1  (cached)
-> retrieved cstruct.6.0.0  (cached)
-> retrieved domain-name.0.4.1  (cached)
-> retrieved dscheck.0.4.0  (cached)
-> retrieved dns.7.0.3, dns-client.7.0.3  (cached)
-> retrieved digestif.0.9.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved either.1.0.0  (cached)
-> retrieved eqaf.0.9  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved gmap.0.3.0  (cached)
-> retrieved happy-eyeballs.0.6.0  (cached)
-> retrieved hxd.0.2.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved dune-configurator.2.9.3  (cached)
-> retrieved dune.3.10.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lru.0.3.0-1  (cached)
-> retrieved metrics.0.4.1  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved ocamlbuild.0.14.1  (cached)
-> installed cmdliner.1.0.4
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved oseq.0.4.1  (cached)
-> retrieved psq.0.2.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved randomconv.0.1.3  (cached)
-> retrieved result.1.5  (cached)
-> retrieved rresult.0.6.0  (cached)
-> retrieved seq.0.3  (cached)
-> retrieved stdlib-shims.0.1.0  (cached)
-> retrieved tsort.1.0.0  (cached)
-> retrieved topkg.1.0.8  (cached)
-> retrieved mirage-crypto.0.11.3, mirage-crypto-rng.0.11.3  (cached)
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ocamlbuild.0.14.1
-> installed topkg.1.0.8
-> installed mtime.2.1.0
-> installed fmt.0.9.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed dune.3.10.0
-> installed duration.0.2.1
-> installed gmap.0.3.0
-> installed stdlib-shims.0.1.0
-> installed domain-name.0.4.1
-> installed bigarray-compat.1.1.0
-> installed bigstringaf.0.5.0
-> installed either.1.0.0
-> installed macaddr.5.6.0
-> installed result.1.5
-> installed metrics.0.4.1
-> installed seq.0.3
-> installed csexp.1.3.1
-> installed cstruct.6.0.0
-> installed ipaddr.5.6.0
-> installed angstrom.0.14.0
-> installed rresult.0.6.0
-> installed oseq.0.4.1
-> installed psq.0.2.0
-> installed randomconv.0.1.3
-> installed happy-eyeballs.0.6.0
-> installed lru.0.3.0-1
-> installed eqaf.0.9
-> installed dune-configurator.2.9.3
-> installed digestif.0.9.0
-> installed base64.3.3.0
-> installed hxd.0.2.0
-> installed mirage-crypto.0.11.3
-> installed containers.3.7
-> installed tsort.1.0.0
-> installed dns.7.0.3
-> installed mirage-crypto-rng.0.11.3
-> installed dscheck.0.4.0
-> installed dns-client.7.0.3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-03 14:19.48 ---> saved as "6823eebd73b1b93c35bbefdbb546dc62b17314b9ef84580d436ffb298eba746b"


/src: (copy (src .) (dst /src))
2025-09-03 14:19.49 ---> saved as "7db94bcb30d36a2faae2eb62dd103070cf90db25d34696a5f04057d75a9ef457"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/sync && ./test_sync.exe)
Run tests into /src/_build/default/test/sync/_tests/run-NqXk
test01: ....ok
test02: ..ok
test03: ok
(cd _build/default/test && ./test_core.exe)
Run tests into /src/_build/default/test/_tests/run-9vs5
test01: .ok
test02: .ok
test03: .ok
test04: .ok
test05: .ok
test06: .ok
test07: .ok
test08: .ok
test09: .ok
test10: .ok
test11: .ok
test12: .ok
test13: .ok
test14: .ok
test15: .ok
test16: .ok
test17: .ok
test18: .ok
test19: .ok
test20: .ok
test21: .ok
test22: ..ok
test23: .ok
test24: ..ok
test25: ..ok
test26: .ok
test27: .ok
test28: .ok
test29: .ok
test30: .ok
test31: .ok
test32: .ok
test33: .ok
test34: .ok
test35: ..ok
test36: ..ok
test37: .ok
test38: .ok
test39: .ok
test40: .ok
test41: .ok
test42: .ok
test43: .ok
2025-09-03 14:19.54 ---> saved as "f69c1966438b615c9bb0c1d65e6585eb7183ee4b5eede0f89f7dc59f9ee934d3"
Job succeeded
2025-09-03 14:19.54: Job succeeded