2025-05-15 17:02.55: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/449/head (cf8b357895b9a5d46147987f79de2149e778af82) (linux-x86_64:fedora-41-5.3_opam-2.3)
Base: ocaml/opam:fedora-41-ocaml-5.3@sha256:abc80c782e7acbd09ffd49defcb056c2fc402593e57bcb537add09330e2c3992
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-gospel/gospel.git" && cd "gospel" && git fetch origin "refs/pull/449/head" && git reset --hard cf8b3578
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:fedora-41-ocaml-5.3@sha256:abc80c782e7acbd09ffd49defcb056c2fc402593e57bcb537add09330e2c3992
# fedora-41-5.3_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo dnf install -y findutils
RUN sudo ln -f /usr/bin/opam-2.3 /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 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 gospel.opam ./
RUN opam pin add -yn gospel.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.2 dune-build-info.3.18.2 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y gospel.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-05-15 17:02.55: Using cache hint "ocaml-gospel/gospel-ocaml/opam:fedora-41-ocaml-5.3@sha256:abc80c782e7acbd09ffd49defcb056c2fc402593e57bcb537add09330e2c3992-fedora-41-5.3_opam-2.3-751641168192571ee2d17139b30a56da"
2025-05-15 17:02.55: Using OBuilder spec:
((from ocaml/opam:fedora-41-ocaml-5.3@sha256:abc80c782e7acbd09ffd49defcb056c2fc402593e57bcb537add09330e2c3992)
(comment fedora-41-5.3_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (network host)
(shell "sudo dnf install -y findutils"))
(run (shell "sudo ln -f /usr/bin/opam-2.3 /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 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src gospel.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn gospel.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.2 dune-build-info.3.18.2 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2")
(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.3 --depext-only -y gospel.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-05-15 17:02.55: Waiting for resource in pool OCluster
2025-05-15 17:02.55: Waiting for worker…
2025-05-15 17:03.09: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
HEAD is now at e889924 Disallow explicit produces clauses.
HEAD is now at cf8b357 Disallow explicit produces clauses.
(from ocaml/opam:fedora-41-ocaml-5.3@sha256:abc80c782e7acbd09ffd49defcb056c2fc402593e57bcb537add09330e2c3992)
2025-05-15 17:03.40 ---> saved as "da0437edefc3074e740b2380711421a58ad6af000252c27345a9c063faf0cc10"
/: (comment fedora-41-5.3_opam-2.3)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (network host)
(shell "sudo dnf install -y findutils"))
Updating and loading repositories:
Fedora 41 - x86_64 100% | 78.0 KiB/s | 24.9 KiB | 00m00s
Fedora 41 - x86_64 - Updates 100% | 164.4 KiB/s | 23.5 KiB | 00m00s
Fedora 41 - x86_64 - Updates 100% | 3.1 MiB/s | 4.5 MiB | 00m01s
Repositories loaded.
Package "findutils-1:4.10.0-4.fc41.x86_64" is already installed.
Nothing to do.
2025-05-15 17:03.51 ---> saved as "cda621b93ea4e5bc7b2f3a44f5472568fa9069c819fc4f9ee4dba7021db6599e"
/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-05-15 17:03.52 ---> saved as "00fdc0066ab5f68afc204c28620b3ce62c27dda0ac3863d3d421d30b1e5a7121"
/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
[NOTE] The 'jobs' option was reset, its value was 255 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=255 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
2025-05-15 17:04.10: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled