ubuntu-25.10-5.4_opam-2.5

2026-03-20 06:56.43: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/heads/implementations_gospel (8bbeffff9db0ba8976938e118f9f7081fa016608) (linux-x86_64:ubuntu-25.10-5.4_opam-2.5)
Base: ocaml/opam:ubuntu-25.10-ocaml-5.4@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/gospel.git" -b "implementations_gospel" && cd "gospel" && git reset --hard 8bbeffff
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-25.10-ocaml-5.4@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67
# ubuntu-25.10-5.4_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /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 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef || git fetch origin master) && git reset -q --hard 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef && 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="base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.2.1.0 cppo.1.8.0 dune.3.22.0 fmt.0.11.0 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.1"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --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


2026-03-20 06:56.43: Using cache hint "ocaml-gospel/gospel-ocaml/opam:ubuntu-25.10-ocaml-5.4@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67-ubuntu-25.10-5.4_opam-2.5-9e2440506073d9d7602f4fbf0347059a"
2026-03-20 06:56.43: Using OBuilder spec:
((from ocaml/opam:ubuntu-25.10-ocaml-5.4@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67)
(comment ubuntu-25.10-5.4_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.5 /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 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef || git fetch origin master) && git reset -q --hard 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef && 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 (shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.2.1.0 cppo.1.8.0 dune.3.22.0 fmt.0.11.0 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.1")
(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.5 --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"))
)


2026-03-20 06:56.43: Waiting for resource in pool OCluster
2026-03-20 06:56.43: Waiting for worker…
2026-03-20 06:56.43: Got resource from pool OCluster
Building on doris.caelum.ci.dev
HEAD is now at 32e05f4 Merge pull request #476 from mrjazzybread/set
HEAD is now at 8bbefff Specification under match-with cases


(from ocaml/opam:ubuntu-25.10-ocaml-5.4@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67)
Unable to find image 'ocaml/opam:ubuntu-25.10-ocaml-5.4@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67' locally
docker.io/ocaml/opam@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67: Pulling from ocaml/opam
16c195d4c5e9: Pulling fs layer
eef1e591e8a9: Pulling fs layer
475b07e782b4: Pulling fs layer
18fb99e993e1: Pulling fs layer
ca37c6a45798: Pulling fs layer
c57691858953: Pulling fs layer
18fb99e993e1: Waiting
5512f1558e14: Pulling fs layer
ca37c6a45798: Waiting
c57691858953: Waiting
43fe003df081: Pulling fs layer
6e925d30090e: Pulling fs layer
43fe003df081: Waiting
3417bab79df5: Pulling fs layer
5512f1558e14: Waiting
6e925d30090e: Waiting
0aa36f5a555a: Pulling fs layer
3417bab79df5: Waiting
474fc3d17365: Pulling fs layer
0aa36f5a555a: Waiting
49a3768a5f63: Pulling fs layer
474fc3d17365: Waiting
c5abc7eafdff: Pulling fs layer
49a3768a5f63: Waiting
c5abc7eafdff: Waiting
62941fb37fba: Pulling fs layer
378967450a13: Pulling fs layer
62941fb37fba: Waiting
b77cfa4e2ae3: Pulling fs layer
cb268f925fd0: Pulling fs layer
b77cfa4e2ae3: Waiting
cb268f925fd0: Waiting
3bf4591bde94: Pulling fs layer
3bf4591bde94: Waiting
34a47fe3891d: Pulling fs layer
0e9e8d8d7a8c: Pulling fs layer
34a47fe3891d: Waiting
024b2f94e104: Pulling fs layer
0e9e8d8d7a8c: Waiting
4f4fb700ef54: Pulling fs layer
024b2f94e104: Waiting
071fbbcf50f3: Pulling fs layer
b43a2046bab2: Pulling fs layer
4f4fb700ef54: Waiting
071fbbcf50f3: Waiting
f34036196a91: Pulling fs layer
b43a2046bab2: Waiting
b07913c71979: Pulling fs layer
f34036196a91: Waiting
b07913c71979: Waiting
f1c987ef231c: Pulling fs layer
1a8485ec060a: Pulling fs layer
f1c987ef231c: Waiting
aa1dac00c891: Pulling fs layer
1a8485ec060a: Waiting
215e9614a861: Pulling fs layer
aa1dac00c891: Waiting
117130324f1d: Pulling fs layer
215e9614a861: Waiting
edf62db1b518: Pulling fs layer
117130324f1d: Waiting
0db4778affc6: Pulling fs layer
a7061a59a18a: Pulling fs layer
edf62db1b518: Waiting
1a46a132d40e: Pulling fs layer
0db4778affc6: Waiting
e461a5dda351: Pulling fs layer
a7061a59a18a: Waiting
baef187c60a6: Pulling fs layer
e461a5dda351: Waiting
1a46a132d40e: Waiting
60fb67301e08: Pulling fs layer
baef187c60a6: Waiting
bf681241fc68: Pulling fs layer
60fb67301e08: Waiting
23eaa9b4d484: Pulling fs layer
bf681241fc68: Waiting
23eaa9b4d484: Waiting
1c659a6a7694: Pulling fs layer
dba14649d85a: Pulling fs layer
1c659a6a7694: Waiting
141dacab2962: Pulling fs layer
dba14649d85a: Waiting
77e0ad4866d4: Pulling fs layer
141dacab2962: Waiting
401d82f13ac3: Pulling fs layer
77e0ad4866d4: Waiting
29458acfee8b: Pulling fs layer
401d82f13ac3: Waiting
0f86b9a8699c: Pulling fs layer
0f86b9a8699c: Waiting
29458acfee8b: Waiting
475b07e782b4: Download complete
eef1e591e8a9: Verifying Checksum
eef1e591e8a9: Download complete
16c195d4c5e9: Verifying Checksum
16c195d4c5e9: Download complete
ca37c6a45798: Verifying Checksum
ca37c6a45798: Download complete
18fb99e993e1: Verifying Checksum
18fb99e993e1: Download complete
5512f1558e14: Verifying Checksum
5512f1558e14: Download complete
6e925d30090e: Verifying Checksum
6e925d30090e: Download complete
43fe003df081: Verifying Checksum
43fe003df081: Download complete
3417bab79df5: Verifying Checksum
3417bab79df5: Download complete
16c195d4c5e9: Pull complete
474fc3d17365: Verifying Checksum
474fc3d17365: Download complete
eef1e591e8a9: Pull complete
475b07e782b4: Pull complete
49a3768a5f63: Verifying Checksum
49a3768a5f63: Download complete
c5abc7eafdff: Verifying Checksum
c5abc7eafdff: Download complete
18fb99e993e1: Pull complete
62941fb37fba: Verifying Checksum
62941fb37fba: Download complete
378967450a13: Verifying Checksum
378967450a13: Download complete
c57691858953: Verifying Checksum
c57691858953: Download complete
ca37c6a45798: Pull complete
b77cfa4e2ae3: Verifying Checksum
b77cfa4e2ae3: Download complete
cb268f925fd0: Download complete
3bf4591bde94: Download complete
34a47fe3891d: Verifying Checksum
34a47fe3891d: Download complete
0e9e8d8d7a8c: Verifying Checksum
0e9e8d8d7a8c: Download complete
024b2f94e104: Download complete
4f4fb700ef54: Download complete
071fbbcf50f3: Verifying Checksum
071fbbcf50f3: Download complete
b43a2046bab2: Download complete
f34036196a91: Verifying Checksum
f34036196a91: Download complete
b07913c71979: Download complete
f1c987ef231c: Download complete
aa1dac00c891: Verifying Checksum
aa1dac00c891: Download complete
1a8485ec060a: Verifying Checksum
1a8485ec060a: Download complete
117130324f1d: Download complete
215e9614a861: Verifying Checksum
215e9614a861: Download complete
0db4778affc6: Verifying Checksum
0db4778affc6: Download complete
edf62db1b518: Verifying Checksum
edf62db1b518: Download complete
0aa36f5a555a: Verifying Checksum
0aa36f5a555a: Download complete
a7061a59a18a: Verifying Checksum
a7061a59a18a: Download complete
e461a5dda351: Download complete
60fb67301e08: Download complete
bf681241fc68: Verifying Checksum
bf681241fc68: Download complete
23eaa9b4d484: Verifying Checksum
23eaa9b4d484: Download complete
1a46a132d40e: Verifying Checksum
1a46a132d40e: Download complete
1c659a6a7694: Verifying Checksum
1c659a6a7694: Download complete
141dacab2962: Verifying Checksum
141dacab2962: Download complete
dba14649d85a: Verifying Checksum
dba14649d85a: Download complete
401d82f13ac3: Verifying Checksum
401d82f13ac3: Download complete
29458acfee8b: Verifying Checksum
29458acfee8b: Download complete
0f86b9a8699c: Download complete
c57691858953: Pull complete
5512f1558e14: Pull complete
43fe003df081: Pull complete
77e0ad4866d4: Verifying Checksum
77e0ad4866d4: Download complete
6e925d30090e: Pull complete
3417bab79df5: Pull complete
baef187c60a6: Verifying Checksum
baef187c60a6: Download complete
0aa36f5a555a: Pull complete
474fc3d17365: Pull complete
49a3768a5f63: Pull complete
c5abc7eafdff: Pull complete
62941fb37fba: Pull complete
378967450a13: Pull complete
b77cfa4e2ae3: Pull complete
cb268f925fd0: Pull complete
3bf4591bde94: Pull complete
34a47fe3891d: Pull complete
0e9e8d8d7a8c: Pull complete
024b2f94e104: Pull complete
4f4fb700ef54: Pull complete
071fbbcf50f3: Pull complete
b43a2046bab2: Pull complete
f34036196a91: Pull complete
b07913c71979: Pull complete
f1c987ef231c: Pull complete
1a8485ec060a: Pull complete
aa1dac00c891: Pull complete
215e9614a861: Pull complete
117130324f1d: Pull complete
edf62db1b518: Pull complete
0db4778affc6: Pull complete
a7061a59a18a: Pull complete
1a46a132d40e: Pull complete
e461a5dda351: Pull complete
baef187c60a6: Pull complete
60fb67301e08: Pull complete
bf681241fc68: Pull complete
23eaa9b4d484: Pull complete
1c659a6a7694: Pull complete
dba14649d85a: Pull complete
141dacab2962: Pull complete
77e0ad4866d4: Pull complete
401d82f13ac3: Pull complete
29458acfee8b: Pull complete
0f86b9a8699c: Pull complete
Digest: sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67
Status: Downloaded newer image for ocaml/opam@sha256:fef8e549d57e6bc872bbfcde9f96e896c31281f4865349518cb000e3667d4a67
2026-03-20 06:57.20 ---> using "a781d67ad57eb4ac231790d4a694bd40cad33d7e4b31ef1def44795689b32c1f" from cache


/: (comment ubuntu-25.10-5.4_opam-2.5)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-03-20 06:57.20 ---> using "abe213cdc34cea893280fdf44cd1cad04b0a7e440d2650b191efdd05f6df5c7e" 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 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
2026-03-20 06:57.20 ---> using "7659bfa6fdb9326b707eb9973ad8bcdf27440a4236f27ab86e5cd85886d159d5" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-94-generic
The OCaml toplevel, version 5.4.0
2.5.0
2026-03-20 06:57.20 ---> using "d964b47b2ae170f14fe1436dc3eb59c3e2c6b43393eaab8966e7fb9cece21c97" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-03-20 06:57.20 ---> using "ee14fa90ac6cc53c98770e42e923950defb8fc6d617d34e15b97a90e3fef1b0c" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef || git fetch origin master) && git reset -q --hard 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
4f056bfedf..9f189ca4f9  master     -> origin/master
9f189ca4f9 Merge pull request #29562 from shonfeder/release-dune-3.22.0


<><> 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.5.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)
2026-03-20 06:57.20 ---> using "a5b6b801d67a41e01176eb6e4ef42083a00f6fe592c1e1aa49d4759285125cd1" from cache


/src: (copy (src gospel.opam) (dst ./))
2026-03-20 06:57.37 ---> saved as "b68c28829246c190fa60a9f76dc71485d64f0a3150ba68cfb69fb1f41c3918c4"


/src: (run (network host)
(shell "opam pin add -yn gospel.dev './'"))
[gospel.dev] synchronised (file:///src)
gospel is now pinned to file:///src (version dev)
2026-03-20 06:57.54 ---> saved as "7bdf50f6151da128763d7eb9057ca498065d829239361c8fec0c68d9be1cadeb"


/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-03-20 06:58.10 ---> saved as "796de6c279acf2da86d440bd4459e3e3718c3e3f2b988a2619af22ad1a1864ca"


/src: (env DEPS "base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.2.1.0 cppo.1.8.0 dune.3.22.0 fmt.0.11.0 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.1")


/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.5 --depext-only -y gospel.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://archive.ubuntu.com/ubuntu questing InRelease
- Get:2 http://security.ubuntu.com/ubuntu questing-security InRelease [136 kB]
- Get:3 http://archive.ubuntu.com/ubuntu questing-updates InRelease [136 kB]
- Get:4 http://archive.ubuntu.com/ubuntu questing-backports InRelease [133 kB]
- Get:5 http://archive.ubuntu.com/ubuntu questing-updates/main amd64 Packages [429 kB]
- Get:6 http://security.ubuntu.com/ubuntu questing-security/universe amd64 Packages [194 kB]
- Get:7 http://archive.ubuntu.com/ubuntu questing-updates/universe amd64 Packages [265 kB]
- Get:8 http://security.ubuntu.com/ubuntu questing-security/main amd64 Packages [301 kB]
- Ign:7 http://archive.ubuntu.com/ubuntu questing-updates/universe amd64 Packages
- Get:7 http://archive.ubuntu.com/ubuntu questing-updates/universe amd64 Packages [265 kB]
- Fetched 1494 kB in 37s (40.6 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[gospel.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-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.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-effects 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).
# To update the current shell environment, run: eval $(opam env)
2026-03-20 06:59.27 ---> saved as "c10f3b05e11c94371173efd2e6cc80f25241c4794d575984c26d5e6815f59312"


/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-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.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-effects 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 18 packages
- install cmdliner            2.1.0
- install cppo                1.8.0
- install dune                3.22.0
- install fmt                 0.11.0
- install menhir              20260209
- install menhirCST           20260209
- install menhirGLR           20260209
- install menhirLib           20260209
- install menhirSdk           20260209
- install ocaml-compiler-libs v0.17.0
- install ocamlbuild          0.16.1
- install ocamlfind           1.9.8
- install ppx_derivers        1.2.1
- install ppx_deriving        6.1.1
- install ppxlib              0.37.0
- install sexplib0            v0.17.0
- install stdlib-shims        0.3.0
- install topkg               1.1.1


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cmdliner.2.1.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209  (cached)
-> retrieved dune.3.22.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.1  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved ppxlib.0.37.0  (cached)
-> installed cmdliner.2.1.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed dune.3.22.0
-> installed menhirCST.20260209
-> installed ppx_derivers.1.2.1
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed stdlib-shims.0.3.0
-> installed menhirSdk.20260209
-> installed sexplib0.v0.17.0
-> installed cppo.1.8.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed menhir.20260209
-> installed ppxlib.0.37.0
-> installed ppx_deriving.6.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-20 07:00.49 ---> saved as "47e940ffeab6a3460da56e31e23d857bfaa58a36a5d12b7751cd35f126a98d30"


/src: (copy (src .) (dst /src))
2026-03-20 07:01.06 ---> saved as "a273f710ba3542b1f549b02df2decf6e3e4c2000c485bac2c83f14f9bc2a2220"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -open Ocaml_shadow -w -9 -g -bin-annot -bin-annot-occurrences -I src/.gospel.objs/byte -I /home/opam/.opam/5.4/lib/fmt -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4/lib/ppx_derivers -I /home/opam/.opam/5.4/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4/lib/ppxlib -I /home/opam/.opam/5.4/lib/ppxlib/ast -I /home/opam/.opam/5.4/lib/ppxlib/astlib -I /home/opam/.opam/5.4/lib/ppxlib/print_diff -I /home/opam/.opam/5.4/lib/ppxlib/stdppx -I /home/opam/.opam/5.4/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4/lib/sexplib0 -I /home/opam/.opam/5.4/lib/stdlib-shims -no-alias-deps -opaque -open Gospel -o src/.gospel.objs/byte/gospel__Opprintast.cmo -c -impl src/Opprintast.pp.ml)
File "src/Opprintast.ml", line 59, characters 46-52:
59 |           check_variable var_names t.ptyp_loc string;
^^^^^^
Error: The value string has type string loc
but an expression was expected of type string
(cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -open Ocaml_shadow -w -9 -g -bin-annot -bin-annot-occurrences -I src/.gospel.objs/byte -I /home/opam/.opam/5.4/lib/fmt -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4/lib/ppx_derivers -I /home/opam/.opam/5.4/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4/lib/ppxlib -I /home/opam/.opam/5.4/lib/ppxlib/ast -I /home/opam/.opam/5.4/lib/ppxlib/astlib -I /home/opam/.opam/5.4/lib/ppxlib/print_diff -I /home/opam/.opam/5.4/lib/ppxlib/stdppx -I /home/opam/.opam/5.4/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4/lib/sexplib0 -I /home/opam/.opam/5.4/lib/stdlib-shims -cmi-file src/.gospel.objs/byte/gospel__Uattr2spec.cmi -no-alias-deps -opaque -open Gospel -o src/.gospel.objs/byte/gospel__Uattr2spec.cmo -c -impl src/uattr2spec.pp.ml)
File "src/uattr2spec.ml", line 347, characters 6-29:
347 |     | Pexp_function case_list -> Sexp_function (List.map case case_list)
^^^^^^^^^^^^^^^^^^^^^^^
Error: The constructor Pexp_function expects 3 argument(s),
but is applied here to 1 argument(s)
(cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -open Ocaml_shadow -w -9 -g -I src/.gospel.objs/byte -I src/.gospel.objs/native -I /home/opam/.opam/5.4/lib/fmt -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4/lib/ppx_derivers -I /home/opam/.opam/5.4/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4/lib/ppxlib -I /home/opam/.opam/5.4/lib/ppxlib/ast -I /home/opam/.opam/5.4/lib/ppxlib/astlib -I /home/opam/.opam/5.4/lib/ppxlib/print_diff -I /home/opam/.opam/5.4/lib/ppxlib/stdppx -I /home/opam/.opam/5.4/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4/lib/sexplib0 -I /home/opam/.opam/5.4/lib/stdlib-shims -cmi-file src/.gospel.objs/byte/gospel__Uattr2spec.cmi -no-alias-deps -opaque -open Gospel -o src/.gospel.objs/native/gospel__Uattr2spec.cmx -c -impl src/uattr2spec.pp.ml)
File "src/uattr2spec.ml", line 347, characters 6-29:
347 |     | Pexp_function case_list -> Sexp_function (List.map case case_list)
^^^^^^^^^^^^^^^^^^^^^^^
Error: The constructor Pexp_function expects 3 argument(s),
but is applied here to 1 argument(s)
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2026-03-20 07:01.25: Job failed: Failed: Build failed