- github
- ocaml
- opam-repository
- a4ecc6
- compilers,5.0,sedlex.3.4,lower-bounds
(not at the head of any monitored branch or PR)
2025-03-30 16:51.07: New job: build sedlex.3.4, lower-bounds, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/27686/head (a4ecc6f5582f258cb732ff37479d3b36c0c70c0d)
on debian-12-ocaml-5.0/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/27686/head" && git reset --hard a4ecc6f5
git fetch origin master
git merge --no-edit a8a89f62d8abd2a9f0cbb04826bfec1ef6b563e7
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.0@sha256:dec9016f67178c5495fdad2f7bb3efe820fed1d4866aa27be50f9f3e5924be44
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 sedlex.3.4 3.4
RUN opam reinstall sedlex.3.4; \
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-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'sedlex.3.4' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
ENV OPAMCRITERIA="+removed,+count[version-lag,solution]"
ENV OPAMFIXUPCRITERIA="+removed,+count[version-lag,solution]"
ENV OPAMUPGRADECRITERIA="+removed,+count[version-lag,solution]"
RUN opam reinstall sedlex.3.4; \
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-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'sedlex.3.4' && 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 .
2025-03-30 16:51.07: Using cache hint "ocaml/opam:debian-12-ocaml-5.0@sha256:dec9016f67178c5495fdad2f7bb3efe820fed1d4866aa27be50f9f3e5924be44-sedlex.3.4-a4ecc6f5582f258cb732ff37479d3b36c0c70c0d"
2025-03-30 16:51.07: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.0@sha256:dec9016f67178c5495fdad2f7bb3efe820fed1d4866aa27be50f9f3e5924be44)
(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 sedlex.3.4 3.4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sedlex.3.4;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'sedlex.3.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(env OPAMCRITERIA +removed,+count[version-lag,solution])
(env OPAMFIXUPCRITERIA +removed,+count[version-lag,solution])
(env OPAMUPGRADECRITERIA +removed,+count[version-lag,solution])
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sedlex.3.4;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'sedlex.3.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-03-30 16:51.07: Waiting for resource in pool OCluster
2025-03-30 16:51.09: Waiting for worker…
2025-03-30 16:52.47: Got resource from pool OCluster
Building on x86-bm-c3.sw.ocaml.org
All commits already cached
Updating files: 49% (11309/22765)
Updating files: 50% (11383/22765)
Updating files: 51% (11611/22765)
Updating files: 52% (11838/22765)
Updating files: 53% (12066/22765)
Updating files: 54% (12294/22765)
Updating files: 55% (12521/22765)
Updating files: 56% (12749/22765)
Updating files: 57% (12977/22765)
Updating files: 58% (13204/22765)
Updating files: 59% (13432/22765)
Updating files: 60% (13659/22765)
Updating files: 61% (13887/22765)
Updating files: 62% (14115/22765)
Updating files: 63% (14342/22765)
Updating files: 64% (14570/22765)
Updating files: 65% (14798/22765)
Updating files: 66% (15025/22765)
Updating files: 67% (15253/22765)
Updating files: 68% (15481/22765)
Updating files: 69% (15708/22765)
Updating files: 70% (15936/22765)
Updating files: 71% (16164/22765)
Updating files: 72% (16391/22765)
Updating files: 73% (16619/22765)
Updating files: 74% (16847/22765)
Updating files: 75% (17074/22765)
Updating files: 76% (17302/22765)
Updating files: 77% (17530/22765)
Updating files: 78% (17757/22765)
Updating files: 79% (17985/22765)
Updating files: 80% (18212/22765)
Updating files: 81% (18440/22765)
Updating files: 82% (18668/22765)
Updating files: 83% (18895/22765)
Updating files: 84% (19123/22765)
Updating files: 85% (19351/22765)
Updating files: 86% (19578/22765)
Updating files: 87% (19806/22765)
Updating files: 88% (20034/22765)
Updating files: 89% (20261/22765)
Updating files: 90% (20489/22765)
Updating files: 91% (20717/22765)
Updating files: 92% (20944/22765)
Updating files: 93% (21172/22765)
Updating files: 94% (21400/22765)
Updating files: 95% (21627/22765)
Updating files: 96% (21855/22765)
Updating files: 97% (22083/22765)
Updating files: 98% (22310/22765)
Updating files: 99% (22538/22765)
Updating files: 100% (22765/22765)
Updating files: 100% (22765/22765), done.
HEAD is now at a8a89f62d8 Merge pull request #27687 from codinuum/diffast-20250328
Merge made by the 'ort' strategy.
packages/fstar/fstar.2025.02.17/opam | 2 +-
packages/fstar/fstar.2025.03.25/opam | 2 +-
packages/lwt_ppx/lwt_ppx.5.8.1/opam | 2 +-
packages/lwt_ppx/lwt_ppx.5.9.1/opam | 2 +-
packages/sedlex/sedlex.3.4/opam | 48 ++++++++++++++++++++++++++++++++++++
5 files changed, 52 insertions(+), 4 deletions(-)
create mode 100644 packages/sedlex/sedlex.3.4/opam
(from ocaml/opam:debian-12-ocaml-5.0@sha256:dec9016f67178c5495fdad2f7bb3efe820fed1d4866aa27be50f9f3e5924be44)
2025-03-30 16:52.49 ---> using "fa9f86cb4f64461441e126e5be50a412bce058c8d517fa7121d1d782fce98112" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-03-30 16:52.49 ---> using "ee85215e9ec65a0540a6a02c7f1840e4db687795b13b08e92e24713bdff29198" from cache
/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 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[opam-repository-archive] synchronised from git+https://github.com/ocaml/opam-repository-archive
[default] synchronised from file:///home/opam/opam-repository
2025-03-30 16:53.43 ---> saved as "d517484388f1b1760d5e576c8246aaa51666d4ed94b4584ba06cc42b58e1cca0"
/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.4.0~alpha1~dev (fcce0c8d871702aabac0a216e45212ff004cfe79)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=12
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 39
# repositories 1 (local), 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.0
# invariant ["ocaml-base-compiler" {= "5.0.0"}]
# compiler-packages ocaml-base-compiler.5.0.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.0/lib/ocaml/stublibs:/home/opam/.opam/5.0/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.0.0
2025-03-30 16:53.45 ---> saved as "3227ca85198a1d7ed9a1129351ccfff54118bc0dd8aa042f17df926c56cfc946"
/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/"))
2025-03-30 16:53.53 ---> saved as "24c21f2a3fb44a576bcae72f4f03e32a9c8132a9dd7e65bb53673ee56d410b12"
/home/opam: (copy (src .) (dst opam-repository/))
2025-03-30 16:53.59 ---> saved as "eec2a1e15d5ca7d4bec9a32d3536f87612027cb47bf3406ea501ac130643dd84"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-03-30 16:54.41 ---> saved as "ff4d6a29994619988892ec4b8ea36a2d3fdc26f834ff96bf9bf5a366fadffcf1"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /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 bookworm-updates/main amd64 Packages.diff/Index [16.2 kB]
- Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2025-03-27-1414.15-F-2025-03-27-1414.15.pdiff [187 B]
- Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2025-03-27-1414.15-F-2025-03-27-1414.15.pdiff [187 B]
- Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [250 kB]
- Fetched 370 kB in 0s (1490 kB/s)
- Reading package lists...
2025-03-30 16:54.42 ---> saved as "3f9805c332814922568ed1dfa3e249b6aedfffa89d55815e7b7eac9aa7706170"
/home/opam: (run (shell "opam pin add -k version -yn sedlex.3.4 3.4"))
sedlex is now pinned to version 3.4
2025-03-30 16:54.43 ---> saved as "fd814ac0c8df609a885e92defece548bd433f694b267df83f276f69d339fd02e"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sedlex.3.4;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'sedlex.3.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
sedlex.3.4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 9 packages
- install dune 3.17.2 [required by sedlex]
- install gen 1.1 [required by sedlex]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.36.0 [required by sedlex]
- install sedlex 3.4 (pinned)
- install seq base [required by gen]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.36.0 (cached)
-> retrieved sedlex.3.4 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed dune.3.17.2
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed gen.1.1
-> installed ocaml-compiler-libs.v0.12.4
-> installed ppxlib.0.36.0
-> installed sedlex.3.4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-30 16:55.40 ---> saved as "72d89711fd5039980d5409502aaad263957d598f9d26628aa2ba327ed5b9d266"
/home/opam: (env OPAMCRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMFIXUPCRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMUPGRADECRITERIA +removed,+count[version-lag,solution])
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sedlex.3.4;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'sedlex.3.4' && 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:
=== remove 1 package
- remove seq base
=== downgrade 6 packages
- downgrade dune 3.17.2 to 3.3.0 [required by sedlex]
- downgrade gen 1.1 to 0.5.3 [required by sedlex]
- downgrade ocaml-compiler-libs v0.12.4 to v0.12.0 [uses dune]
- downgrade ppxlib 0.36.0 to 0.27.0 [required by sedlex]
- downgrade sexplib0 v0.17.0 to v0.15.1 [uses dune]
- downgrade stdlib-shims 0.3.0 to 0.1.0 [uses dune]
=== recompile 2 packages
- recompile ppx_derivers 1.2.1 [uses dune]
- recompile sedlex 3.4 (pinned)
=== install 3 packages
- install base-bytes base [required by gen]
- install dune-configurator 2.7.0 [required by gen]
- install ocamlfind 1.9.6 [required by base-bytes]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.3.0 (cached)
-> retrieved dune-configurator.2.7.0 (cached)
-> retrieved gen.0.5.3 (cached)
-> retrieved ocaml-compiler-libs.v0.12.0 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.27.0 (cached)
-> retrieved sexplib0.v0.15.1 (cached)
-> retrieved stdlib-shims.0.1.0 (cached)
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> removed sedlex.3.4
-> removed gen.1.1
-> removed ppxlib.0.36.0
-> removed ocaml-compiler-libs.v0.12.4
-> removed ppx_derivers.1.2.1
-> removed seq.base
-> removed sexplib0.v0.17.0
-> removed stdlib-shims.0.3.0
-> removed dune.3.17.2
-> installed dune.3.3.0
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.1.0
-> installed sexplib0.v0.15.1
-> installed dune-configurator.2.7.0
-> installed ocaml-compiler-libs.v0.12.0
-> installed gen.0.5.3
-> installed ppxlib.0.27.0
-> installed sedlex.3.4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-30 16:56.29 ---> saved as "791a6b73f9911b4234e679f63e30fa3ab25068e628d250e40b51bc8020d6888c"
Job succeeded
2025-03-30 16:56.36: Job succeeded