- github
- ocaml
- opam-repository
- 35b6b5
- extras,riscv64-ocaml-5.3,frama-c-metacsl.0.9~beta
(not at the head of any monitored branch or PR)
2025-05-27 18:12.30: New job: build frama-c-metacsl.0.9~beta, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/27937/head (35b6b5f425d4e96eba29b3047cc97672339d455a)
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/27937/head" && git reset --hard 35b6b5f4
git fetch origin master
git merge --no-edit 5f00597c2a10c92e183e5324bfa710cd3b67eb33
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e
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 frama-c-metacsl.0.9~beta 0.9~beta
RUN opam reinstall frama-c-metacsl.0.9~beta; \
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" != 'frama-c-metacsl.0.9~beta' && 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-05-27 18:12.30: Using cache hint "ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e-frama-c-metacsl.0.9~beta-35b6b5f425d4e96eba29b3047cc97672339d455a"
2025-05-27 18:12.30: Using OBuilder spec:
((from ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e)
(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 frama-c-metacsl.0.9~beta 0.9~beta"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall frama-c-metacsl.0.9~beta;\
\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\" != 'frama-c-metacsl.0.9~beta' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-05-27 18:12.30: Waiting for resource in pool OCluster
2025-05-27 18:12.30: Waiting for worker…
2025-05-27 18:12.30: Got resource from pool OCluster
Building on riscv-bm-01.sw.ci.dev
Updating files: 11% (2743/23147)
Updating files: 12% (2778/23147)
Updating files: 13% (3010/23147)
Updating files: 14% (3241/23147)
Updating files: 15% (3473/23147)
Updating files: 16% (3704/23147)
Updating files: 17% (3935/23147)
Updating files: 18% (4167/23147)
Updating files: 19% (4398/23147)
Updating files: 20% (4630/23147)
Updating files: 21% (4861/23147)
Updating files: 22% (5093/23147)
Updating files: 23% (5324/23147)
Updating files: 24% (5556/23147)
Updating files: 25% (5787/23147)
Updating files: 26% (6019/23147)
Updating files: 27% (6250/23147)
Updating files: 28% (6482/23147)
Updating files: 29% (6713/23147)
Updating files: 30% (6945/23147)
Updating files: 31% (7176/23147)
Updating files: 32% (7408/23147)
Updating files: 33% (7639/23147)
Updating files: 34% (7870/23147)
Updating files: 34% (8057/23147)
Updating files: 35% (8102/23147)
Updating files: 36% (8333/23147)
Updating files: 37% (8565/23147)
Updating files: 38% (8796/23147)
Updating files: 39% (9028/23147)
Updating files: 40% (9259/23147)
Updating files: 41% (9491/23147)
Updating files: 42% (9722/23147)
Updating files: 43% (9954/23147)
Updating files: 44% (10185/23147)
Updating files: 45% (10417/23147)
Updating files: 45% (10572/23147)
Updating files: 46% (10648/23147)
Updating files: 47% (10880/23147)
Updating files: 48% (11111/23147)
Updating files: 49% (11343/23147)
Updating files: 50% (11574/23147)
Updating files: 51% (11805/23147)
Updating files: 52% (12037/23147)
Updating files: 53% (12268/23147)
Updating files: 54% (12500/23147)
Updating files: 55% (12731/23147)
Updating files: 55% (12948/23147)
Updating files: 56% (12963/23147)
Updating files: 57% (13194/23147)
Updating files: 58% (13426/23147)
Updating files: 59% (13657/23147)
Updating files: 60% (13889/23147)
Updating files: 61% (14120/23147)
Updating files: 62% (14352/23147)
Updating files: 63% (14583/23147)
Updating files: 64% (14815/23147)
Updating files: 65% (15046/23147)
Updating files: 66% (15278/23147)
Updating files: 66% (15287/23147)
Updating files: 67% (15509/23147)
Updating files: 68% (15740/23147)
Updating files: 69% (15972/23147)
Updating files: 70% (16203/23147)
Updating files: 71% (16435/23147)
Updating files: 72% (16666/23147)
Updating files: 73% (16898/23147)
Updating files: 74% (17129/23147)
Updating files: 75% (17361/23147)
Updating files: 76% (17592/23147)
Updating files: 76% (17633/23147)
Updating files: 77% (17824/23147)
Updating files: 78% (18055/23147)
Updating files: 79% (18287/23147)
Updating files: 80% (18518/23147)
Updating files: 81% (18750/23147)
Updating files: 82% (18981/23147)
Updating files: 83% (19213/23147)
Updating files: 84% (19444/23147)
Updating files: 85% (19675/23147)
Updating files: 86% (19907/23147)
Updating files: 86% (19921/23147)
Updating files: 87% (20138/23147)
Updating files: 88% (20370/23147)
Updating files: 89% (20601/23147)
Updating files: 90% (20833/23147)
Updating files: 91% (21064/23147)
Updating files: 92% (21296/23147)
Updating files: 93% (21527/23147)
Updating files: 94% (21759/23147)
Updating files: 95% (21990/23147)
Updating files: 95% (22163/23147)
Updating files: 96% (22222/23147)
Updating files: 97% (22453/23147)
Updating files: 98% (22685/23147)
Updating files: 99% (22916/23147)
Updating files: 100% (23147/23147)
Updating files: 100% (23147/23147), done.
HEAD is now at 10d3ce6322 Merge commit 'ee2e7ff5f2b1ee92744f0a3972663712abe78d7d'
HEAD is now at 5f00597c2a Merge pull request #27932 from rossberg/patch-5
Updating 5f00597c2a..35b6b5f425
Fast-forward
.../frama-c-metacsl/frama-c-metacsl.0.9~beta/opam | 59 ++++++++++++++++++++++
1 file changed, 59 insertions(+)
create mode 100644 packages/frama-c-metacsl/frama-c-metacsl.0.9~beta/opam
(from ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e)
Unable to find image 'ocaml/opam:ubuntu-24.04-ocaml-5.3@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e' locally
docker.io/ocaml/opam@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e: Pulling from ocaml/opam
617ff4840b8c: Already exists
c322f6f099bd: Already exists
af41dc9aa4c8: Already exists
8be0f54e169d: Already exists
221ed00670b4: Already exists
2f8718e4086e: Already exists
ae3af2212384: Already exists
21023212aaa3: Already exists
ad0fc28d4cf8: Already exists
1189f399faca: Already exists
27ac920071fb: Already exists
216a4e42a567: Already exists
57931fea86bf: Already exists
b73eb3957e62: Already exists
55fb41dac57d: Already exists
55fb41dac57d: Already exists
5ad06d69ab49: Already exists
a59333d853c5: Already exists
12697db2513c: Already exists
4139e3516197: Already exists
4f4fb700ef54: Already exists
87c2790a06bd: Already exists
421dcca301f8: Already exists
3077a7ca0be4: Already exists
a4126651e5ce: Already exists
87405176dc77: Already exists
5af66437b469: Already exists
2a05986c8358: Already exists
24c976a75464: Already exists
5ebee8fd2405: Already exists
c41bdacb1055: Already exists
79537e4907ff: Already exists
302b8757fa0c: Already exists
2465e2b088e9: Already exists
fcd7fc319f15: Already exists
7610e82b9ccc: Already exists
26b43e872d53: Already exists
809da4a6781e: Already exists
9140c75204b7: Pulling fs layer
31c76abe6266: Pulling fs layer
e74ce13e2854: Pulling fs layer
c1a2fbdb91e7: Pulling fs layer
54bef7e937cc: Pulling fs layer
2619f9259004: Pulling fs layer
f8497879c88c: Pulling fs layer
c1a2fbdb91e7: Waiting
54bef7e937cc: Waiting
2619f9259004: Waiting
f8497879c88c: Waiting
31c76abe6266: Verifying Checksum
31c76abe6266: Download complete
9140c75204b7: Verifying Checksum
9140c75204b7: Download complete
e74ce13e2854: Verifying Checksum
e74ce13e2854: Download complete
9140c75204b7: Pull complete
31c76abe6266: Pull complete
e74ce13e2854: Pull complete
54bef7e937cc: Verifying Checksum
54bef7e937cc: Download complete
2619f9259004: Verifying Checksum
2619f9259004: Download complete
f8497879c88c: Verifying Checksum
f8497879c88c: Download complete
c1a2fbdb91e7: Verifying Checksum
c1a2fbdb91e7: Download complete
c1a2fbdb91e7: Pull complete
54bef7e937cc: Pull complete
2619f9259004: Pull complete
f8497879c88c: Pull complete
Digest: sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e
Status: Downloaded newer image for ocaml/opam@sha256:0dada98f4493eaf5a29805e8ceaf960447cb9126f51a2938dd13b0742d56448e
2025-05-27 18:12.58 ---> using "5aa0d3ee19f963039c3b577e3828ee06186a807feb8c482df7d5937ab2e9bc74" 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-05-27 18:12.58 ---> using "3cd44f54496dcd42383d3cc0293400530a87d941d15907c9973f24a051131171" 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-05-27 18:12.58 ---> using "383e0b1c0d42bcb34082b3e0452a131d0e8e43e3cfdbba3c3804352eda34fde1" 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-05-27 18:12.58 ---> using "2a1e6dc42e07d5b6c31b4331555c5669c60682df12732a7f642a345fe08d7386" 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-05-27 18:12.58 ---> using "8bd2dbf77cf6c01cfc919695f1a557996bbcd74ec5b0537d9fe1ad7b677058cc" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-05-27 18:13.30 ---> saved as "19a3b93390a8b9079b1f72b6161e69bbc6ca1f1a834b0eba2f4e8a15ba6c5777"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-05-27 18:15.22 ---> saved as "dcc889277d992fa36eb38eaffefb16d9ae9ba333273b28e2994fbc2af77269f4"
/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 [742 kB]
- Get:6 http://ports.ubuntu.com/ubuntu-ports noble-updates/universe riscv64 Packages [1105 kB]
- Get:7 http://ports.ubuntu.com/ubuntu-ports noble-security/universe riscv64 Packages [836 kB]
- Get:8 http://ports.ubuntu.com/ubuntu-ports noble-security/main riscv64 Packages [443 kB]
- Fetched 3504 kB in 3s (1164 kB/s)
- Reading package lists...
-
2025-05-27 18:15.30 ---> saved as "cc3217ba37f016a4a9f95418b87b4054fe5eb70c42b2b71dd3f5f55b9ba48bbf"
/home/opam: (run (shell "opam pin add -k version -yn frama-c-metacsl.0.9~beta 0.9~beta"))
frama-c-metacsl is now pinned to version 0.9~beta
2025-05-27 18:15.34 ---> saved as "2800a6592a5bd70e9f8b739f68aedcb1078b15587cf9f22f64bf232268b43881"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall frama-c-metacsl.0.9~beta;\
\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\" != 'frama-c-metacsl.0.9~beta' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
frama-c-metacsl.0.9~beta is not installed. Install it? [y/n] y
* Missing dependency:
- frama-c-metacsl >= 0.9~beta -> frama-c >= 31.0~
no matching version
No solution found, exiting
"/usr/bin/env" "bash" "-c" "opam reinstall frama-c-metacsl.0.9~beta;
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" != 'frama-c-metacsl.0.9~beta' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1" failed with exit status 20
2025-05-27 18:16.53: Job failed: Failed: Build failed
2025-05-27 18:16.53: Log analysis:
2025-05-27 18:16.53: >>>
No solution found, exiting
(score = 100)
2025-05-27 18:16.53: [SKIP] Package not available