- github
- ocaml
- opam-repository
- 10f9fa
- distributions,fedora-41-ocaml-5.3,conf-mpfr.3
(not at the head of any monitored branch or PR)
2025-06-10 17:27.19: New job: build conf-mpfr.3, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/28011/head (10f9fad9250e8b9724f84f94733080c5f8a2a4e4)
on fedora-41-ocaml-5.3/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/28011/head" && git reset --hard 10f9fad9
git fetch origin master
git merge --no-edit 6db96b377f993aa0c7ffb5c06737929e583f3305
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:fedora-41-ocaml-5.3@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.3 /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 conf-mpfr.3 3
RUN opam reinstall conf-mpfr.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 "\"fedora-41\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'conf-mpfr.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 .
2025-06-10 17:27.19: Using cache hint "ocaml/opam:fedora-41-ocaml-5.3@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7-conf-mpfr.3-10f9fad9250e8b9724f84f94733080c5f8a2a4e4"
2025-06-10 17:27.19: Using OBuilder spec:
((from ocaml/opam:fedora-41-ocaml-5.3@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /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 conf-mpfr.3 3"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-mpfr.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 \"\\\"fedora-41\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'conf-mpfr.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-06-10 17:27.19: Waiting for resource in pool OCluster
2025-06-10 17:27.21: Waiting for worker…
2025-06-10 17:27.23: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
Updating files: 87% (20249/23220)
Updating files: 88% (20434/23220)
Updating files: 89% (20666/23220)
Updating files: 90% (20898/23220)
Updating files: 91% (21131/23220)
Updating files: 92% (21363/23220)
Updating files: 93% (21595/23220)
Updating files: 94% (21827/23220)
Updating files: 95% (22059/23220)
Updating files: 96% (22292/23220)
Updating files: 97% (22524/23220)
Updating files: 98% (22756/23220)
Updating files: 99% (22988/23220)
Updating files: 100% (23220/23220)
Updating files: 100% (23220/23220), done.
HEAD is now at 6db96b377f Merge pull request #28003 from punchagan/opam-publish-opam-ci-check-lint.0.1
Updating 6db96b377f..10f9fad925
Fast-forward
packages/conf-cairo/conf-cairo.1/opam | 2 +-
packages/conf-clang/conf-clang.1/opam | 1 +
packages/conf-gtk3/conf-gtk3.18/opam | 7 +++++--
packages/conf-libev/conf-libev.4-11/opam | 1 +
packages/conf-mpfr/conf-mpfr.3/opam | 1 +
packages/omake/omake.0.10.3/opam | 2 +-
packages/omake/omake.0.10.5/opam | 2 +-
packages/omake/omake.0.10.6/opam | 2 +-
packages/omake/omake.0.10.7/opam | 2 +-
9 files changed, 13 insertions(+), 7 deletions(-)
(from ocaml/opam:fedora-41-ocaml-5.3@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7)
Unable to find image 'ocaml/opam:fedora-41-ocaml-5.3@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7' locally
docker.io/ocaml/opam@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7: Pulling from ocaml/opam
e83aea43231f: Already exists
0d8f8652e496: Already exists
d5e195825cb2: Already exists
3f51cf01c5fe: Already exists
082c87ad0afb: Already exists
46e48528defd: Already exists
9bd247706315: Already exists
0bcbfa64b181: Already exists
8793dffa6413: Already exists
624a80baf0db: Already exists
3a6a16803459: Already exists
8a7553ef70eb: Already exists
1f2809a04632: Already exists
4b9b15e3aaaa: Already exists
4b9b15e3aaaa: Already exists
4802c14fd6fd: Already exists
fe12b0522c77: Already exists
9ce067d94345: Already exists
dd14b43d3bab: Already exists
4f4fb700ef54: Already exists
b2691ebb8fe4: Already exists
28b7802eea05: Already exists
8e8097a9f075: Already exists
834a79c62a56: Already exists
2e1abdd985db: Already exists
2ac8fa4f9473: Already exists
dea8ff448161: Already exists
bee7bbfab787: Already exists
80e19b966d5b: Already exists
688c86c990dd: Already exists
9dbf15621d7e: Already exists
1edfc01d2d9c: Already exists
490c4bb0a999: Already exists
512503eb4ac8: Already exists
43a6d51d9656: Already exists
2fa9560a6be4: Already exists
acc281db3f4c: Already exists
714460f21590: Already exists
18fa999e49de: Pulling fs layer
1f9ccb6c3922: Pulling fs layer
f0243487b871: Pulling fs layer
fe3e8f32158f: Pulling fs layer
e578b138009e: Pulling fs layer
fe3e8f32158f: Waiting
e578b138009e: Waiting
f0243487b871: Download complete
18fa999e49de: Download complete
18fa999e49de: Pull complete
fe3e8f32158f: Download complete
e578b138009e: Verifying Checksum
e578b138009e: Download complete
1f9ccb6c3922: Verifying Checksum
1f9ccb6c3922: Download complete
1f9ccb6c3922: Pull complete
f0243487b871: Pull complete
fe3e8f32158f: Pull complete
e578b138009e: Pull complete
Digest: sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7
Status: Downloaded newer image for ocaml/opam@sha256:146713442ed5c2eb4e9d95547da36a8643e814340597351b96fb871f2855c3b7
2025-06-10 17:29.32 ---> using "6885aab87f4fe22185c8b8094f735035f681f36e522db31f68b1c3410c45c8dc" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-06-10 17:29.32 ---> using "a28a8db60400c77ae32062687c010999f9c406a6287ed7c9c2dbd253433cfc5d" 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-06-10 17:29.32 ---> using "90e05fdd753eaea84c35665496312023240a8784e6f67649f73fc5ea01febc95" from cache
/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.3.0 (35acd0c5abc5e66cdbd5be16ba77aa6c33a4c724)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=fedora os-version=41
# 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.3
# invariant ["ocaml-base-compiler" {= "5.3.0"}]
# compiler-packages ocaml-base-compiler.5.3.0, ocaml-compiler.5.3.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.3/lib/ocaml/stublibs:/home/opam/.opam/5.3/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.3.0
2025-06-10 17:29.32 ---> using "0a6fd1dce792146357dd70d5d8065bfe8864afa5a37332fc904d65c501785b6a" from cache
/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-06-10 17:29.32 ---> using "2312968cc6379df5322f3d7b67e8f0c5daf58b3d6ef5abdae34059e1412e850f" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-06-10 17:30.06 ---> saved as "ecfffa69c7909608e640e7efa3b5e1993f6ebc70eba78de6c591dcf1257da0dd"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-06-10 17:30.31 ---> saved as "3b6fbf0e430c6153434aeb852368bc47074dde16d0ff4cad8a75a073a005bf14"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "yum" "makecache"
- Updating and loading repositories:
- Fedora 41 - x86_64 - Updates 100% | 75.7 KiB/s | 24.8 KiB | 00m00s
- Fedora 41 - x86_64 - Updates 100% | 2.3 MiB/s | 3.2 MiB | 00m01s
- Repositories loaded.
- Metadata cache created.
2025-06-10 17:30.37 ---> saved as "ef09f10464a5f41c496471fe8c608fbeb02361f22bc5a4d8239c8678e5a4f513"
/home/opam: (run (shell "opam pin add -k version -yn conf-mpfr.3 3"))
conf-mpfr is now pinned to version 3
2025-06-10 17:30.38 ---> saved as "d378cfb2d63bcd68973a3603724b0104573729ed8f2f7bc84714afb3bbd48a14"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-mpfr.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 \"\\\"fedora-41\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'conf-mpfr.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
conf-mpfr.3 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 3 packages
- install conf-gmp 5 [required by conf-mpfr]
- install conf-mpfr 3 (pinned)
- install conf-pkg-config 4 [required by conf-mpfr]
The following system packages will first need to be installed:
gmp-devel mpfr-devel
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run yum to install them (may need root/sudo access)
2. Display the recommended yum 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 "yum" "install" "-y" "gmp-devel" "mpfr-devel"
- Updating and loading repositories:
- Repositories loaded.
- Package Arch Version Repository Size
- Installing:
- gmp-devel x86_64 1:6.3.0-2.fc41 fedora 352.3 KiB
- mpfr-devel x86_64 4.2.1-5.fc41 fedora 62.8 KiB
- Installing dependencies:
- gmp-c++ x86_64 1:6.3.0-2.fc41 fedora 31.8 KiB
-
- Transaction Summary:
- Installing: 3 packages
-
- Total size of inbound packages is 215 KiB. Need to download 215 KiB.
- After this operation, 447 KiB extra will be used (install 447 KiB, remove 0 B).
- [1/3] gmp-devel-1:6.3.0-2.fc41.x86_64 100% | 796.4 KiB/s | 174.4 KiB | 00m00s
- [2/3] gmp-c++-1:6.3.0-2.fc41.x86_64 100% | 71.7 KiB/s | 18.6 KiB | 00m00s
- [3/3] mpfr-devel-0:4.2.1-5.fc41.x86_64 100% | 82.1 KiB/s | 21.9 KiB | 00m00s
- --------------------------------------------------------------------------------
- [3/3] Total 100% | 538.8 KiB/s | 215.0 KiB | 00m00s
- Running transaction
- [1/5] Verify package files 100% | 1.0 KiB/s | 3.0 B | 00m00s
- [2/5] Prepare transaction 100% | 50.0 B/s | 3.0 B | 00m00s
- [3/5] Installing gmp-c++-1:6.3.0-2.fc41 100% | 10.6 MiB/s | 32.6 KiB | 00m00s
- [4/5] Installing gmp-devel-1:6.3.0-2.fc 100% | 86.5 MiB/s | 354.1 KiB | 00m00s
- [5/5] Installing mpfr-devel-0:4.2.1-5.f 100% | 1.1 MiB/s | 63.5 KiB | 00m00s
- Complete!
+ /usr/bin/rpm "-q" "--whatprovides" "gmp-devel" "mpfr-devel"
- gmp-devel-6.3.0-2.fc41.x86_64
- mpfr-devel-4.2.1-5.fc41.x86_64
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-mpfr.3 (cached)
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> installed conf-mpfr.3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-10 17:30.45 ---> saved as "f15cdc177b8ac19eeadddf2862a54b4019e8f97f39074c9cb6b08dfeb4d4fc1f"
Job succeeded
2025-06-10 17:30.55: Job succeeded