2024-10-04 06:13.16: New job: test koonwen/obatcher https://github.com/koonwen/obatcher.git#refs/heads/main (20585df5e912c53f6d9ba60c1b9340b7875bf204) (linux-x86_64:debian-12-5.0_opam-2.2) Base: ocaml/opam:debian-12-ocaml-5.0@sha256:048d3a9efcac9097d565712e989daef53d8d93dcd58792bf6986c6cc3cc9bcf3 Opam project build To reproduce locally: git clone --recursive "https://github.com/koonwen/obatcher.git" -b "main" && cd "obatcher" && git reset --hard 20585df5 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-5.0@sha256:048d3a9efcac9097d565712e989daef53d8d93dcd58792bf6986c6cc3cc9bcf3 # debian-12-5.0_opam-2.2 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 b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 obatcher.opam ./ RUN opam pin add -yn obatcher.dev './' ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 multicore-magic.2.3.0 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.15.0 ocamlfind.1.9.6 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.0.7 uutf.1.0.3" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y obatcher.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 2024-10-04 06:13.16: Using cache hint "koonwen/obatcher-ocaml/opam:debian-12-ocaml-5.0@sha256:048d3a9efcac9097d565712e989daef53d8d93dcd58792bf6986c6cc3cc9bcf3-debian-12-5.0_opam-2.2-f1253cd03e6fca30b93b85a807cfe055" 2024-10-04 06:13.16: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-5.0@sha256:048d3a9efcac9097d565712e989daef53d8d93dcd58792bf6986c6cc3cc9bcf3) (comment debian-12-5.0_opam-2.2) (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 b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src obatcher.opam) (dst ./)) (run (network host) (shell "opam pin add -yn obatcher.dev './'")) (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 multicore-magic.2.3.0 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.15.0 ocamlfind.1.9.6 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.0.7 uutf.1.0.3") (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 obatcher.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")) ) 2024-10-04 06:13.16: Waiting for resource in pool OCluster 2024-10-04 06:13.16: Waiting for worker… 2024-10-04 06:13.16: Got resource from pool OCluster Building on x86-bm-c2.sw.ocaml.org All commits already cached HEAD is now at 20585df change link to paper (from ocaml/opam:debian-12-ocaml-5.0@sha256:048d3a9efcac9097d565712e989daef53d8d93dcd58792bf6986c6cc3cc9bcf3) 2024-10-04 06:13.17 ---> using "06fb78b61fbbb43249d328f1c63ee838b7e6066503a39f63e3195b8875abb5a3" from cache /: (comment debian-12-5.0_opam-2.2) /: (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")) 2024-10-04 06:13.17 ---> using "12f59978830934afce4fe4347258494e5b604356e4f0449c45630a1052d38b45" 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] synchronised from file:///home/opam/opam-repository 2024-10-04 06:13.17 ---> using "5cf8eb77645a71b14465c154dc0ba24e3c00acef7ec5578f50ee9d3380e0852d" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.15.0-122-generic The OCaml toplevel, version 5.0.0 2.2.1 2024-10-04 06:13.17 ---> using "4d7d38e3f84ed93d6ff045cb662e8c1dbf1824eef9d5405156d89b473aa7aa5f" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-10-04 06:13.17 ---> using "bbe5096de08dfd2917d6051d325d36ab695301cc38f073e71a65ce0ffb68e8a0" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 75006f8c5e..137a215c7d master -> origin/master b876d7d370 Merge pull request #26641 from polytypic/release-backoff-0.1.1 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from 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 2024-10-04 06:13.17 ---> using "a1ab1e851a5b7f7b90edcdc245275d677403f637a557c429b1a89686759a79a2" from cache /src: (copy (src obatcher.opam) (dst ./)) 2024-10-04 06:13.17 ---> using "204a23d243cba34fd89b424ad595c3b86fad80c19fea8f4b079ff617d2c64444" from cache /src: (run (network host) (shell "opam pin add -yn obatcher.dev './'")) [obatcher.dev] synchronised (file:///src) obatcher is now pinned to file:///src (version dev) 2024-10-04 06:13.17 ---> using "43b30fe34ce097c27870387f24bc1937540ecaf7a74d384ffe1fd03a43fb197a" from cache /src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 multicore-magic.2.3.0 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.15.0 ocamlfind.1.9.6 ounit2.2.2.7 picos.0.5.0 picos_aux.0.5.0 picos_mux.0.5.0 picos_std.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-ounit.0.22 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 topkg.1.0.7 uutf.1.0.3") /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 obatcher.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 [186 kB] - Fetched 290 kB in 0s (942 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [obatcher.dev] synchronised (no changes) [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 host-system-other is already installed (current version is 1). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [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). 2024-10-04 06:13.17 ---> using "5e19e4c5d318d6008950c60bf6cb97dfe8f7767f539c962ab2b3e1722f440241" from cache /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 host-system-other is already installed (current version is 1). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [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 30 packages - install alcotest 1.8.0 - install astring 0.8.5 - install backoff 0.1.1 - install cmdliner 1.3.0 - install containers 3.14 - install csexp 1.5.2 - install dune 3.16.0 - install dune-configurator 3.16.0 - install either 1.0.0 - install fmt 0.9.0 - install logs 0.7.0 - install multicore-magic 2.3.0 - install ocaml-syntax-shims 1.0.0 - install ocamlbuild 0.15.0 - install ocamlfind 1.9.6 - install ounit2 2.2.7 - install picos 0.5.0 - install picos_aux 0.5.0 - install picos_mux 0.5.0 - install picos_std 0.5.0 - install qcheck 0.22 - install qcheck-alcotest 0.22 - install qcheck-core 0.22 - install qcheck-ounit 0.22 - install re 1.12.0 - install seq base - install stdlib-shims 0.3.0 - install thread-local-storage 0.2 - install topkg 1.0.7 - install uutf 1.0.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved backoff.0.1.1 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved alcotest.1.8.0 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved containers.3.14 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved either.1.0.0 (cached) -> retrieved fmt.0.9.0 (cached) -> retrieved logs.0.7.0 (cached) -> retrieved multicore-magic.2.3.0 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached) -> retrieved ounit2.2.2.7 (cached) -> retrieved picos.0.5.0, picos_aux.0.5.0, picos_mux.0.5.0, picos_std.0.5.0 (cached) -> retrieved seq.base (cached) -> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached) -> retrieved re.1.12.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved thread-local-storage.0.2 (cached) -> retrieved uutf.1.0.3 (cached) -> installed cmdliner.1.3.0 -> installed seq.base -> retrieved topkg.1.0.7 (cached) -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed logs.0.7.0 -> installed dune.3.16.0 -> installed csexp.1.5.2 -> installed backoff.0.1.1 -> installed either.1.0.0 -> installed multicore-magic.2.3.0 -> installed ocaml-syntax-shims.1.0.0 -> installed re.1.12.0 -> installed stdlib-shims.0.3.0 -> installed thread-local-storage.0.2 -> installed qcheck-core.0.22 -> installed picos_aux.0.5.0 -> installed picos.0.5.0 -> installed picos_std.0.5.0 -> installed alcotest.1.8.0 -> installed ounit2.2.2.7 -> installed qcheck-alcotest.0.22 -> installed picos_mux.0.5.0 -> installed dune-configurator.3.16.0 -> installed qcheck-ounit.0.22 -> installed qcheck.0.22 -> installed containers.3.14 Done. # Run eval $(opam env) to update the current shell environment 2024-10-04 06:13.17 ---> using "fd9ad42a6e2736b2510a820bb4fbef4fa40e5051d8227b24892531f30d5b5115" from cache /src: (copy (src .) (dst /src)) 2024-10-04 06:13.17 ---> saved as "8cbb45339cd7184efb6bc2af83ecd6523fbf69f4d746cd7063a797d9bc0c4901" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default/test && ./test_ds.exe) qcheck random seed: 674876710 Testing `Batched data structures'. This run has ID `GG948YLE'. [OK] Skiplist 0 inserts return true on member lookup. [OK] Skiplist 1 member lookup not vacuously true. [OK] Skiplist 2 duplicate elements are not inserted. [OK] Btree 0 inserts return true & correct element o... [OK] Btree 1 member lookup not vacuously true. [OK] Btree 2 size = elements inserted, duplicates pe... Full test results in `/src/_build/default/test/_build/_tests/Batched data structures'. Test Successful in 2.600s. 6 tests run. (cd _build/default/test && ./test_obatcher.exe) qcheck random seed: 129201981 Testing `Obatcher'. This run has ID `DON9GQ2K'. [OK] Fifos scheduler 0 Req submitted = Req complete... [OK] Fifos scheduler 1 Req submitted = Req complete... [OK] Fifos scheduler 2 Req submitted = Req complete... [OK] Fifos scheduler 3 Req submitted = Req complete... [OK] Fifos scheduler 4 Batches are linearizable (1 ... [OK] Fifos scheduler 5 Batches are linearizable (40... [OK] Fifos scheduler 6 Batches are linearizable (1 ... [OK] Fifos scheduler 7 Batches are linearizable (40... [OK] Threaded scheduler 0 Req submitted = Req complete... [OK] Threaded scheduler 1 Req submitted = Req complete... [OK] Threaded scheduler 2 Req submitted = Req complete... [OK] Threaded scheduler 3 Req submitted = Req complete... [OK] Threaded scheduler 4 Batches are linearizable (1 ... [OK] Threaded scheduler 5 Batches are linearizable (40... [OK] Threaded scheduler 6 Batches are linearizable (1 ... [OK] Threaded scheduler 7 Batches are linearizable (40... [OK] Randos scheduler 0 Req submitted = Req complete... [OK] Randos scheduler 1 Req submitted = Req complete... [OK] Randos scheduler 2 Req submitted = Req complete... [OK] Randos scheduler 3 Req submitted = Req complete... [OK] Randos scheduler 4 Batches are linearizable (1 ... [OK] Randos scheduler 5 Batches are linearizable (40... [OK] Randos scheduler 6 Batches are linearizable (1 ... [OK] Randos scheduler 7 Batches are linearizable (40... [OK] Multififo scheduler 0 Req submitted = Req complete... [OK] Multififo scheduler 1 Req submitted = Req complete... [OK] Multififo scheduler 2 Req submitted = Req complete... [OK] Multififo scheduler 3 Req submitted = Req complete... [OK] Multififo scheduler 4 Batches are linearizable (1 ... [OK] Multififo scheduler 5 Batches are linearizable (40... [OK] Multififo scheduler 6 Batches are linearizable (1 ... [OK] Multififo scheduler 7 Batches are linearizable (40... Full test results in `/src/_build/default/test/_build/_tests/Obatcher'. Test Successful in 38.960s. 32 tests run. 2024-10-04 06:13.57 ---> saved as "e260e367adbf52ea04278880ad53ff38b8059a18d0f77d779c276b33717d247c" Job succeeded 2024-10-04 06:13.57: Job succeeded