- github
- ocaml
- opam-repository
- d96087
- compilers,4.02,glical.0.0.3,lower-bounds
(not at the head of any monitored branch or PR)
2024-11-21 16:12.15: New job: build glical.0.0.3, lower-bounds, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/26923/head (d9608777c483f5d710728ba45cd88b50c515d9a2)
on debian-12-ocaml-4.02/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/26923/head" && git reset --hard d9608777
git fetch origin master
git merge --no-edit 9f26a2181d2f46e23b62061679bdddb92684f204
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.02@sha256:22890c762ded7d3080875d91576770773078cabe55d318488c30fe5ae1ffd52a
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="1000"
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 glical.0.0.3 0.0.3
RUN opam reinstall glical.0.0.3; \
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" != 'glical.0.0.3' && 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 option solver=builtin-0install
RUN opam reinstall glical.0.0.3; \
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" != 'glical.0.0.3' && 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 .
2024-11-21 16:12.15: Using cache hint "ocaml/opam:debian-12-ocaml-4.02@sha256:22890c762ded7d3080875d91576770773078cabe55d318488c30fe5ae1ffd52a-glical.0.0.3-d9608777c483f5d710728ba45cd88b50c515d9a2"
2024-11-21 16:12.15: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.02@sha256:22890c762ded7d3080875d91576770773078cabe55d318488c30fe5ae1ffd52a)
(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 "uname -rs && opam exec -- ocaml -version && opam --version"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMSOLVERTIMEOUT 1000)
(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 glical.0.0.3 0.0.3"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall glical.0.0.3;\
\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\" != 'glical.0.0.3' && 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 (shell "opam option solver=builtin-0install"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall glical.0.0.3;\
\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\" != 'glical.0.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2024-11-21 16:12.15: Waiting for resource in pool OCluster
2024-11-21 16:12.22: Waiting for worker…
2024-11-21 16:12.22: Got resource from pool OCluster
Building on x86-bm-c10.sw.ocaml.org
All commits already cached
Updating files: 65% (21454/32712)
Updating files: 66% (21590/32712)
Updating files: 67% (21918/32712)
Updating files: 68% (22245/32712)
Updating files: 69% (22572/32712)
Updating files: 70% (22899/32712)
Updating files: 71% (23226/32712)
Updating files: 72% (23553/32712)
Updating files: 73% (23880/32712)
Updating files: 74% (24207/32712)
Updating files: 75% (24534/32712)
Updating files: 76% (24862/32712)
Updating files: 77% (25189/32712)
Updating files: 78% (25516/32712)
Updating files: 79% (25843/32712)
Updating files: 80% (26170/32712)
Updating files: 81% (26497/32712)
Updating files: 82% (26824/32712)
Updating files: 83% (27151/32712)
Updating files: 84% (27479/32712)
Updating files: 85% (27806/32712)
Updating files: 86% (28133/32712)
Updating files: 87% (28460/32712)
Updating files: 88% (28787/32712)
Updating files: 89% (29114/32712)
Updating files: 90% (29441/32712)
Updating files: 91% (29768/32712)
Updating files: 92% (30096/32712)
Updating files: 93% (30423/32712)
Updating files: 94% (30750/32712)
Updating files: 95% (31077/32712)
Updating files: 96% (31404/32712)
Updating files: 97% (31731/32712)
Updating files: 98% (32058/32712)
Updating files: 99% (32385/32712)
Updating files: 100% (32712/32712)
Updating files: 100% (32712/32712), done.
HEAD is now at 9f26a2181d Merge pull request #26919 from hannesm/old-mpp-and-glical-unavailable
Updating 9f26a2181d..d9608777c4
Fast-forward
packages/glical/glical.0.0.1/opam | 1 -
packages/glical/glical.0.0.2/opam | 1 -
packages/glical/glical.0.0.3/opam | 1 -
packages/mpp/mpp.0.1.0/opam | 1 -
packages/mpp/mpp.0.1.1/opam | 1 -
packages/mpp/mpp.0.1.2/opam | 1 -
packages/mpp/mpp.0.1.3/opam | 1 -
packages/mpp/mpp.0.1.4/opam | 1 -
packages/mpp/mpp.0.1.5/opam | 1 -
packages/mpp/mpp.0.1.7/opam | 1 -
packages/mpp/mpp.0.1.8/opam | 1 -
packages/mpp/mpp.0.2.0/opam | 1 -
packages/mpp/mpp.0.2.1/opam | 1 -
packages/mpp/mpp.0.3.0/opam | 1 -
14 files changed, 14 deletions(-)
(from ocaml/opam:debian-12-ocaml-4.02@sha256:22890c762ded7d3080875d91576770773078cabe55d318488c30fe5ae1ffd52a)
2024-11-21 16:13.07 ---> saved as "66db15a17fd9d4c0c592b8e1f462864d8b97fdcd777d8938235ff4d0428679a7"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-11-21 16:13.07 ---> saved as "12a558f852282cab5869b7fa6a4dc636ee6a8f9256a07d26a48d46f033d7f8b3"
/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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-11-21 16:14.46 ---> saved as "95a4ec6a1c0f3ce6c5d8a5eca10529753204a6197317614d7b3c2d12b701b9df"
/home/opam: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-125-generic
The OCaml toplevel, version 4.02.3
2.4.0~alpha1~dev
2024-11-21 16:14.46 ---> saved as "3db67fdb0d2357346379087f881854ed1e08f8878a3af434ada13510a71d7254"
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMSOLVERTIMEOUT 1000)
/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/"))
2024-11-21 16:15.00 ---> saved as "a5b3d1fececbd7e7edb3b3e0655b2d63f46bd03e1b9316ad1cd2ebc83578ca29"
/home/opam: (copy (src .) (dst opam-repository/))
2024-11-21 16:15.26 ---> saved as "bbb1b9825c58b55fede25a3f1ded7d9f6146517984fb30e2ff5e514f0cef6d69"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-11-21 16:16.42 ---> saved as "ca1d9e70598c9dc91d07aa61b06b47dd25b82ca83e0062ebb6f7b0c31ab37efb"
/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-security bookworm-security/main amd64 Packages [204 kB]
- Fetched 308 kB in 0s (1122 kB/s)
- Reading package lists...
2024-11-21 16:16.43 ---> saved as "d27cfe02ce027e68c4b534cd22f005291c39304801f8c721aef26088b73608fb"
/home/opam: (run (shell "opam pin add -k version -yn glical.0.0.3 0.0.3"))
glical is now pinned to version 0.0.3
2024-11-21 16:16.44 ---> saved as "40de3993612b40500dd0471686a19f0c5b6d6bd965b5b60dbe5c36c5f27235b7"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall glical.0.0.3;\
\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\" != 'glical.0.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
glical.0.0.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install glical 0.0.3 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved glical.0.0.3 (cached)
-> installed glical.0.0.3
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-21 16:17.05 ---> saved as "33b1223e4b083f97996046dc890c7de4fcfee6a3691cc498a7811d0c3aa011fc"
/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 (shell "opam option solver=builtin-0install"))
Set to 'builtin-0install' the field solver in global configuration
2024-11-21 16:17.06 ---> saved as "78dbba5ad220cf478d0bd472499487096d2aabb91726723e4b35386a4fb6e3a4"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall glical.0.0.3;\
\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\" != 'glical.0.0.3' && 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 glical 0.0.3 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved glical.0.0.3 (cached)
-> removed glical.0.0.3
-> installed glical.0.0.3
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-21 16:17.20 ---> saved as "ea16ff7e302a1c8f85d73b0507779b9c669a18a180fb9f4781d7577d83db74bb"
Job succeeded
2024-11-21 16:17.26: Job succeeded