(for PR #29246)
2026-01-19 14:21.22: New job: test aslref.1.0~draft.2, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29246/head (1c684ad4cddfbfcf28bf284294f9ecc495d7e461)
on debian-testing-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29246/head" && git reset --hard 1c684ad4
git fetch origin master
git merge --no-edit 39960ffbaf3e5b50a1e354d4c99bfecc01e358ca
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-testing-ocaml-5.4@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn aslref.1.0~draft.2 1.0~draft.2
RUN opam reinstall aslref.1.0~draft.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-testing\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'aslref.1.0~draft.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test aslref.1.0~draft.2) || true
RUN opam reinstall --with-test --verbose aslref.1.0~draft.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-testing\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'aslref.1.0~draft.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-19 14:21.22: Using cache hint "ocaml/opam:debian-testing-ocaml-5.4@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8-aslref.1.0~draft.2-1c684ad4cddfbfcf28bf284294f9ecc495d7e461"
2026-01-19 14:21.22: Using OBuilder spec:
((from ocaml/opam:debian-testing-ocaml-5.4@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn aslref.1.0~draft.2 1.0~draft.2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall aslref.1.0~draft.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-testing\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'aslref.1.0~draft.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test aslref.1.0~draft.2) || true"))
(run (shell "opam reinstall --with-test --verbose aslref.1.0~draft.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-testing\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'aslref.1.0~draft.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-19 14:21.22: Waiting for resource in pool OCluster
2026-01-19 14:21.22: Waiting for worker…
2026-01-19 14:21.23: Got resource from pool OCluster
Building on eumache
All commits already cached
HEAD is now at 39960ffbaf Merge pull request #29193 from recoules/release-binsec-0.11.0
Updating 39960ffbaf..1c684ad4cd
Fast-forward
packages/aslref/aslref.1.0~draft.2/opam | 60 +++++++++++++++++++++++++++++++++
1 file changed, 60 insertions(+)
create mode 100644 packages/aslref/aslref.1.0~draft.2/opam
(from ocaml/opam:debian-testing-ocaml-5.4@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8)
Unable to find image 'ocaml/opam:debian-testing-ocaml-5.4@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8' locally
docker.io/ocaml/opam@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8: Pulling from ocaml/opam
1abde0786e8c: Pulling fs layer
4933cb556053: Pulling fs layer
d37fa5e194b2: Pulling fs layer
b0ff6fd7a77f: Pulling fs layer
57149c46bed7: Pulling fs layer
984414e3b002: Pulling fs layer
dfd002b0767f: Pulling fs layer
1d087a950cdf: Pulling fs layer
57149c46bed7: Waiting
dfd002b0767f: Waiting
984414e3b002: Waiting
1d087a950cdf: Waiting
b0ff6fd7a77f: Waiting
d37fa5e194b2: Verifying Checksum
d37fa5e194b2: Download complete
b0ff6fd7a77f: Verifying Checksum
b0ff6fd7a77f: Download complete
4933cb556053: Verifying Checksum
4933cb556053: Download complete
984414e3b002: Download complete
dfd002b0767f: Verifying Checksum
dfd002b0767f: Download complete
1d087a950cdf: Verifying Checksum
1d087a950cdf: Download complete
1abde0786e8c: Verifying Checksum
57149c46bed7: Verifying Checksum
57149c46bed7: Download complete
1abde0786e8c: Pull complete
4933cb556053: Pull complete
d37fa5e194b2: Pull complete
b0ff6fd7a77f: Pull complete
57149c46bed7: Pull complete
984414e3b002: Pull complete
dfd002b0767f: Pull complete
1d087a950cdf: Pull complete
Digest: sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8
Status: Downloaded newer image for ocaml/opam@sha256:db59286dc0fe29f8e128548f7e84cc4335287bc292642ea5f1ee0c5981af19e8
2026-01-19 14:24.05 ---> saved as "1419f63cbe0fedfddc3e5003ed903712e88a679f3b79e9d8921b0d655cd659d0"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-19 14:24.05 ---> saved as "8d45347427baeafd3710c4d632253f8d6914a73f3f1d40fc9ffcfec8649ded30"
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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-01-19 14:24.36 ---> saved as "b16186414b851bdfcbb40cb62d8039a8bcfd5e0adc0f3948a392ae893ca3e23c"
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=unknown
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-01-19 14:24.37 ---> saved as "773c69eebcc22191124a327b8b5743fe19d6becd3ee119049b3dc32e6b93da4d"
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-01-19 14:24.46 ---> saved as "7f8287dd86ac5b836cc58fa897289f705329f467d180308d067347a667b18973"
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-19 14:24.52 ---> saved as "97a7924ba3b62061eae50f33f0d5442d366e41081c1b016a881f2f06da7797a7"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-19 14:25.14 ---> saved as "bb64230c3923ffd55ccbdb0be5f0249585df3a413e3eb2a15a6425817a37204c"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian testing InRelease [137 kB]
- Get:2 http://deb.debian.org/debian testing-updates InRelease [40.6 kB]
- Get:3 http://deb.debian.org/debian-security testing-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian testing/main amd64 Packages.diff/Index [63.6 kB]
- Get:5 http://deb.debian.org/debian testing/main amd64 Packages T-2026-01-19-0202.09-F-2026-01-17-0224.36.pdiff [665 kB]
- Get:5 http://deb.debian.org/debian testing/main amd64 Packages T-2026-01-19-0202.09-F-2026-01-17-0224.36.pdiff [665 kB]
- Fetched 950 kB in 3s (346 kB/s)
- Reading package lists...
-
2026-01-19 14:25.18 ---> saved as "030cf64181fd7d42a82e3ea06eec1170d7d226a21e2dffcd84bf2696b55be6d7"
/home/opam: (run (shell "opam pin add -k version -yn aslref.1.0~draft.2 1.0~draft.2"))
aslref is now pinned to version 1.0~draft.2
2026-01-19 14:25.19 ---> saved as "c1ad2bbabac608736304931ff79590302f1bd3c4c9506374eb7ed516bdefb6d7"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall aslref.1.0~draft.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-testing\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'aslref.1.0~draft.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
aslref.1.0~draft.2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 10 packages
- install aslref 1.0~draft.2 (pinned)
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install dune 3.21.0 [required by aslref]
- install menhir 20250912 [required by aslref]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
- install ocamlfind 1.9.8 [required by zarith]
- install zarith 1.14 [required by aslref]
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- (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 ... 20805 files and directories currently installed.)
- Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-5+b1_amd64.deb ...
- Unpacking libgmp10:amd64 (2:6.3.0+dfsg-5+b1) over (2:6.3.0+dfsg-5) ...
- Setting up libgmp10:amd64 (2:6.3.0+dfsg-5+b1) ...
- 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 ... 20806 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-5+b1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5+b1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4+b1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4+b1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4+b1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4+b1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4+b1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4+b1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4+b1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4+b1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4+b1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5+b1) ...
- Setting up pkgconf-bin (1.8.1-4+b1) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5+b1) ...
- Setting up pkgconf:amd64 (1.8.1-4+b1) ...
- Setting up pkg-config:amd64 (1.8.1-4+b1) ...
- Processing triggers for libc-bin (2.42-7) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved aslref.1.0~draft.2 (cached)
-> retrieved conf-gmp.5 (cached)
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> retrieved dune.3.21.0 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed dune.3.21.0
-> installed menhirCST.20250912
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed menhir.20250912
-> installed aslref.1.0~draft.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 14:26.33 ---> saved as "a0ad4e9c540e81d6b2051c705b341654746553ca891fe5a893f67fc85b5e15a1"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test aslref.1.0~draft.2) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile aslref 1.0~draft.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved aslref.1.0~draft.2 (https://github.com/herd/herdtools7/archive/refs/tags/aslref-v1.0_draft.2.tar.gz)
-> removed aslref.1.0~draft.2
-> installed aslref.1.0~draft.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 14:27.35 ---> saved as "3147746bd852812098716b181dfb9e630eecdc8dc5bee5dbc765b6c874883a58"
/home/opam: (run (shell "opam reinstall --with-test --verbose aslref.1.0~draft.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-testing\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'aslref.1.0~draft.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile aslref 1.0~draft.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [aslref.1.0~draft.2: extract]
-> retrieved aslref.1.0~draft.2 (cached)
Processing 2/4: [aslref: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "aslref" "-j" "71" "@install" "@runtest" (CWD=/home/opam/.opam/5.4/.opam-switch/build/aslref.1.0~draft.2)
- (cd _build/default/asllib && /home/opam/.opam/5.4/bin/menhir --external-tokens Tokens Tokens.mly Parser.mly --base Parser.mly --compile-errors parser_errors.messages) > _build/default/asllib/parser_errors.ml
- Read 42 sample input sentences and 6 error messages.
-> compiled aslref.1.0~draft.2
-> removed aslref.1.0~draft.2
-> installed aslref.1.0~draft.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 14:28.35 ---> saved as "a8104dd93c7b2e7d4e21c6f6453467a75a6c36b91fff823360aeecd44c996de2"
Job succeeded
2026-01-19 14:28.44: Job succeeded