- github
- ocaml
- opam-repository
- b0bf59
- compilers,4.14,dscheck.0.5.0,revdeps
(not at the head of any monitored branch or PR)
2024-07-05 12:10.13: New job: list revdeps of dscheck.0.5.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/26195/head (b0bf598e34cb04c0c2bc402fafb48007a093caa5)
on debian-12-ocaml-4.14/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/26195/head" && git reset --hard b0bf598e
git fetch origin master
git merge --no-edit ca7f74d624024c73a7297ea2b022ef88d65b1121
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.14@sha256:411c167ab30b2e15a22d9ba7269e6df1d6b24c7d69a5996d4a62bba7180dc074
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="500"
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 echo '@@@OUTPUT' && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --depopts && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --recursive && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --with-test --depopts && echo '@@@OUTPUT'
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2024-07-05 12:10.13: Using cache hint "ocaml/opam:debian-12-ocaml-4.14@sha256:411c167ab30b2e15a22d9ba7269e6df1d6b24c7d69a5996d4a62bba7180dc074-dscheck.0.5.0-b0bf598e34cb04c0c2bc402fafb48007a093caa5"
2024-07-05 12:10.13: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:411c167ab30b2e15a22d9ba7269e6df1d6b24c7d69a5996d4a62bba7180dc074)
(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 500)
(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 "echo '@@@OUTPUT' && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --depopts && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --recursive && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --with-test --depopts && echo '@@@OUTPUT'"))
)
2024-07-05 12:10.13: Waiting for resource in pool OCluster
2024-07-05 12:14.19: Waiting for worker…
2024-07-05 12:19.47: Got resource from pool OCluster
Building on x86-bm-c1.sw.ocaml.org
All commits already cached
Updating files: 58% (18460/31782)
Updating files: 59% (18752/31782)
Updating files: 60% (19070/31782)
Updating files: 61% (19388/31782)
Updating files: 62% (19705/31782)
Updating files: 63% (20023/31782)
Updating files: 64% (20341/31782)
Updating files: 65% (20659/31782)
Updating files: 66% (20977/31782)
Updating files: 67% (21294/31782)
Updating files: 68% (21612/31782)
Updating files: 69% (21930/31782)
Updating files: 70% (22248/31782)
Updating files: 71% (22566/31782)
Updating files: 72% (22884/31782)
Updating files: 73% (23201/31782)
Updating files: 74% (23519/31782)
Updating files: 75% (23837/31782)
Updating files: 76% (24155/31782)
Updating files: 77% (24473/31782)
Updating files: 78% (24790/31782)
Updating files: 79% (25108/31782)
Updating files: 80% (25426/31782)
Updating files: 81% (25744/31782)
Updating files: 82% (26062/31782)
Updating files: 83% (26380/31782)
Updating files: 84% (26697/31782)
Updating files: 85% (27015/31782)
Updating files: 86% (27333/31782)
Updating files: 87% (27651/31782)
Updating files: 88% (27969/31782)
Updating files: 89% (28286/31782)
Updating files: 90% (28604/31782)
Updating files: 91% (28922/31782)
Updating files: 92% (29240/31782)
Updating files: 93% (29558/31782)
Updating files: 94% (29876/31782)
Updating files: 95% (30193/31782)
Updating files: 96% (30511/31782)
Updating files: 97% (30829/31782)
Updating files: 98% (31147/31782)
Updating files: 99% (31465/31782)
Updating files: 100% (31782/31782)
Updating files: 100% (31782/31782), done.
HEAD is now at ca7f74d624 Merge pull request #26199 from mseri/fix-apron-ub
Merge made by the 'ort' strategy.
packages/dscheck/dscheck.0.5.0/opam | 41 +++++++++++++++++++++++++++++++++++++
1 file changed, 41 insertions(+)
create mode 100644 packages/dscheck/dscheck.0.5.0/opam
(from ocaml/opam:debian-12-ocaml-4.14@sha256:411c167ab30b2e15a22d9ba7269e6df1d6b24c7d69a5996d4a62bba7180dc074)
2024-07-05 12:20.02 ---> using "787c10892c33b358f8712760387399b1ab2c78ae2006c4a10d01c5321d3dba40" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-07-05 12:20.02 ---> using "f2e5db30f08f69a1d5334ae494aa89668e4020c14e77cf48ca4c893a0b4dfad3" 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~beta, 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-07-05 12:20.02 ---> using "a815bc554d04fdd08319799ec1b953c5900bc15cf3510abbdde7dbab79abb5dd" from cache
/home/opam: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-113-generic
The OCaml toplevel, version 4.14.2
2.2.0~rc1
2024-07-05 12:20.02 ---> using "74dc415daa1c88b68336b71bd1c3b3cc476c5c7e7ba9c14b993dc4ab0d8e0bfb" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMSOLVERTIMEOUT 500)
/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-07-05 12:20.02 ---> using "c65cafca8f6f5d24d12a244a9c6ba026d5ea649414ebd308f23285f028433926" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2024-07-05 12:20.16 ---> saved as "8bc09227c2b86158457f928bea272ee53b139f85cb4769aa83f4261d04c5b5dd"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-07-05 12:21.15 ---> saved as "82e096b8d8aa8512fbc73e8cc5132320b7a4ae638b21874bd5936370e5881d08"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- 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/main amd64 Packages [8788 kB]
- Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [165 kB]
- Fetched 9207 kB in 2s (4730 kB/s)
- Reading package lists...
-
2024-07-05 12:21.18 ---> saved as "3fedd6b78c356dac2c387fa458cf013b91505c0ade8e393d85543f75eb26585c"
/home/opam: (run (shell "echo '@@@OUTPUT' && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --depopts && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --recursive && opam list -s --color=never --depends-on 'dscheck.0.5.0' --coinstallable-with 'dscheck.0.5.0' --all-versions --with-test --depopts && echo '@@@OUTPUT'"))
@@@OUTPUT
acp4.1.0.1
comby.1.2.2
comby.1.3.0
comby.1.4.0
comby.1.4.1
comby.1.7.0
dscheck.0.5.0
hts_shrink.2.1.2
hts_shrink.3.0.1
linwrap.5.1.1
linwrap.7.0.1
linwrap.8.0.0
linwrap.8.0.3
linwrap.9.0.0
linwrap.9.0.3
linwrap.9.1.0
linwrap.9.1.4
molenc.11.4.0
molenc.16.5.0
molenc.16.7.0
molenc.16.13.0
oplsr.8.0.1
oranger.3.0.1
oranger.4.0.1
oranger.4.1.0
oranger.4.2.0
oranger.4.3.1
oranger.4.3.3
oranger.4.3.4
oranger.4.3.5
orf.1.0.0
orrandomForest.3.0.0
pardi.3.1.1
pardi.3.2.0
pardi.3.2.2
rankers.1.0.0
rankers.2.0.1
rankers.2.0.7
svmwrap.3.1.0
svmwrap.4.0.0
svmwrap.5.0.0
lockfree.0.3.1
picos.0.1.0
picos.0.2.0
picos.0.3.0
picos.0.4.0
saturn.0.4.0
saturn.0.4.1
saturn_lockfree.0.4.0
saturn_lockfree.0.4.1
@@@OUTPUT
2024-07-05 12:22.47 ---> saved as "9091b7108efb792ca50dbafb0561f1551ac780fc0aa51f4d3680691cc5d60843"
Job succeeded
2024-07-05 12:22.59: Job succeeded