- github
- ocaml
- opam-repository
- c715a9
- extras,riscv64-ocaml-5.3,qcheck-core.0.26
(not at the head of any monitored branch or PR)
2025-07-08 20:17.38: New job: build qcheck-core.0.26, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/28148/head (c715a95fe87d4397d1f0658b2ae5acd528de705e)
on ubuntu-24.04-ocaml-5.3/riscv64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/28148/head" && git reset --hard c715a95f
git fetch origin master
git merge --no-edit 11a53009bd75423d805636ff9384bf7cce8b0a9a
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585
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 qcheck-core.0.26 0.26
RUN opam reinstall qcheck-core.0.26; \
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 "\"ubuntu-24.04\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'qcheck-core.0.26' && 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-07-08 20:17.38: Using cache hint "ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585-qcheck-core.0.26-c715a95fe87d4397d1f0658b2ae5acd528de705e"
2025-07-08 20:17.38: Using OBuilder spec:
((from ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585)
(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 qcheck-core.0.26 0.26"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall qcheck-core.0.26;\
\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 \"\\\"ubuntu-24.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'qcheck-core.0.26' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-07-08 20:17.38: Waiting for resource in pool OCluster
2025-07-08 20:17.39: Waiting for worker…
2025-07-08 20:17.39: Got resource from pool OCluster
Building on riscv-bm-01.sw.ci.dev
Updating files: 15% (2698/17825)
Updating files: 16% (2852/17825)
Updating files: 17% (3031/17825)
Updating files: 18% (3209/17825)
Updating files: 19% (3387/17825)
Updating files: 20% (3565/17825)
Updating files: 21% (3744/17825)
Updating files: 22% (3922/17825)
Updating files: 23% (4100/17825)
Updating files: 24% (4278/17825)
Updating files: 25% (4457/17825)
Updating files: 26% (4635/17825)
Updating files: 27% (4813/17825)
Updating files: 28% (4991/17825)
Updating files: 29% (5170/17825)
Updating files: 29% (5196/17825)
Updating files: 30% (5348/17825)
Updating files: 31% (5526/17825)
Updating files: 32% (5704/17825)
Updating files: 33% (5883/17825)
Updating files: 34% (6061/17825)
Updating files: 35% (6239/17825)
Updating files: 36% (6417/17825)
Updating files: 37% (6596/17825)
Updating files: 38% (6774/17825)
Updating files: 39% (6952/17825)
Updating files: 40% (7130/17825)
Updating files: 41% (7309/17825)
Updating files: 42% (7487/17825)
Updating files: 43% (7665/17825)
Updating files: 43% (7830/17825)
Updating files: 44% (7843/17825)
Updating files: 45% (8022/17825)
Updating files: 46% (8200/17825)
Updating files: 47% (8378/17825)
Updating files: 48% (8556/17825)
Updating files: 49% (8735/17825)
Updating files: 50% (8913/17825)
Updating files: 51% (9091/17825)
Updating files: 52% (9269/17825)
Updating files: 53% (9448/17825)
Updating files: 54% (9626/17825)
Updating files: 55% (9804/17825)
Updating files: 56% (9982/17825)
Updating files: 56% (10108/17825)
Updating files: 57% (10161/17825)
Updating files: 58% (10339/17825)
Updating files: 59% (10517/17825)
Updating files: 60% (10695/17825)
Updating files: 61% (10874/17825)
Updating files: 62% (11052/17825)
Updating files: 63% (11230/17825)
Updating files: 64% (11408/17825)
Updating files: 65% (11587/17825)
Updating files: 66% (11765/17825)
Updating files: 67% (11943/17825)
Updating files: 68% (12121/17825)
Updating files: 69% (12300/17825)
Updating files: 70% (12478/17825)
Updating files: 70% (12511/17825)
Updating files: 71% (12656/17825)
Updating files: 72% (12834/17825)
Updating files: 73% (13013/17825)
Updating files: 74% (13191/17825)
Updating files: 75% (13369/17825)
Updating files: 76% (13547/17825)
Updating files: 77% (13726/17825)
Updating files: 78% (13904/17825)
Updating files: 79% (14082/17825)
Updating files: 80% (14260/17825)
Updating files: 81% (14439/17825)
Updating files: 82% (14617/17825)
Updating files: 83% (14795/17825)
Updating files: 83% (14854/17825)
Updating files: 84% (14973/17825)
Updating files: 85% (15152/17825)
Updating files: 86% (15330/17825)
Updating files: 87% (15508/17825)
Updating files: 88% (15686/17825)
Updating files: 89% (15865/17825)
Updating files: 90% (16043/17825)
Updating files: 91% (16221/17825)
Updating files: 92% (16399/17825)
Updating files: 93% (16578/17825)
Updating files: 94% (16756/17825)
Updating files: 95% (16934/17825)
Updating files: 96% (17112/17825)
Updating files: 96% (17269/17825)
Updating files: 97% (17291/17825)
Updating files: 98% (17469/17825)
Updating files: 99% (17647/17825)
Updating files: 100% (17825/17825)
Updating files: 100% (17825/17825), done.
HEAD is now at 8dc7b50782 4 packages from c-cube/qcheck at 0.26
HEAD is now at 11a53009bd Merge pull request #27805 from fccm2/conf-gegl
Updating 11a53009bd..c715a95fe8
Fast-forward
packages/qcheck-alcotest/qcheck-alcotest.0.26/opam | 37 +++++++++++++++++++
packages/qcheck-core/qcheck-core.0.26/opam | 38 ++++++++++++++++++++
packages/qcheck-ounit/qcheck-ounit.0.26/opam | 37 +++++++++++++++++++
packages/qcheck/qcheck.0.26/opam | 42 ++++++++++++++++++++++
4 files changed, 154 insertions(+)
create mode 100644 packages/qcheck-alcotest/qcheck-alcotest.0.26/opam
create mode 100644 packages/qcheck-core/qcheck-core.0.26/opam
create mode 100644 packages/qcheck-ounit/qcheck-ounit.0.26/opam
create mode 100644 packages/qcheck/qcheck.0.26/opam
(from ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585)
Unable to find image 'ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585' locally
docker.io/ocaml/opam@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585: Pulling from ocaml/opam
Digest: sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585
Status: Downloaded newer image for ocaml/opam@sha256:db9b06a5a0bcdf3c2e87ce9b2db22cb2eaa0f5dffe70c37eb4d21c79e692c585
2025-07-08 20:17.58 ---> using "e536174596d35074ffac98d49b8e77634fa2227c49ad0be0e34e9ed1c2631938" 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-07-08 20:17.58 ---> using "c2cc2ac99686611bbbc04ff7f64043d23b540042a3cf84e8d0817698406a8ef1" 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.
Continue? [y/n] y
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.
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-07-08 20:17.58 ---> using "38bfce72d6c7b2c4ac5a1b2387724c9b06775f3fcd59f8525a25add848bc025f" 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=riscv64 os=linux os-distribution=ubuntu os-version=24.04
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 3
# 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-07-08 20:17.58 ---> using "f38e4a74fb0d8f03428fc38629bbbc3996c875848887487d70bc65d877925fb6" 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-07-08 20:17.58 ---> using "35e761ee8329fdf0740461b5243e8518afd42afb3215c95ad402ef0a15b36a48" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-07-08 20:18.24 ---> saved as "d9b1a9ba73859920b10b2ee98918a941a434c34ad478a7f716e4eb42f34d59b2"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-07-08 20:19.55 ---> saved as "56daa065944b05b070f57dfaf4ac8f66422733031b1b0c34cc4050d118eef899"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://ports.ubuntu.com/ubuntu-ports noble InRelease
- Get:2 http://ports.ubuntu.com/ubuntu-ports noble-updates InRelease [126 kB]
- Get:3 http://ports.ubuntu.com/ubuntu-ports noble-backports InRelease [126 kB]
- Get:4 http://ports.ubuntu.com/ubuntu-ports noble-security InRelease [126 kB]
- Get:5 http://ports.ubuntu.com/ubuntu-ports noble-updates/main riscv64 Packages [778 kB]
- Get:6 http://ports.ubuntu.com/ubuntu-ports noble-updates/universe riscv64 Packages [1148 kB]
- Get:7 http://ports.ubuntu.com/ubuntu-ports noble-backports/universe riscv64 Packages [27.5 kB]
- Get:8 http://ports.ubuntu.com/ubuntu-ports noble-backports/main riscv64 Packages [48.7 kB]
- Get:9 http://ports.ubuntu.com/ubuntu-ports noble-security/main riscv64 Packages [478 kB]
- Get:10 http://ports.ubuntu.com/ubuntu-ports noble-security/universe riscv64 Packages [866 kB]
- Fetched 3725 kB in 2s (2082 kB/s)
- Reading package lists...
-
2025-07-08 20:20.03 ---> saved as "51ce6c5797b9e74f2d1b2ecde18dcba5e5bfd0f79754f2c254fd47a47bc7eb54"
/home/opam: (run (shell "opam pin add -k version -yn qcheck-core.0.26 0.26"))
qcheck-core is now pinned to version 0.26
2025-07-08 20:20.05 ---> saved as "814e4e06f81c5bce814ab115810674eea3dbd82a70cef970c59495fe0074383a"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall qcheck-core.0.26;\
\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 \"\\\"ubuntu-24.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'qcheck-core.0.26' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
qcheck-core.0.26 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 2 packages
- install dune 3.19.1 [required by qcheck-core]
- install qcheck-core 0.26 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.19.1 (cached)
-> retrieved qcheck-core.0.26 (https://github.com/c-cube/qcheck/archive/v0.26.tar.gz)
-> installed dune.3.19.1
-> installed qcheck-core.0.26
Done.
# To update the current shell environment, run: eval $(opam env)
2025-07-08 20:24.23 ---> saved as "e41053d1d2d9dd8d2ba148d27ddf0f4a2baec5b46865dac09a0faea150e2bb77"
Job succeeded
2025-07-08 20:24.55: Job succeeded