(for PR #28026)
2025-06-13 20:37.48: New job: build fstar.2025.06.13, using opam 2.0
from https://github.com/ocaml/opam-repository.git#refs/pull/28026/head (b2b3a3d701217939eefe71b5e458d8b02f455b16)
on debian-12-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/28026/head" && git reset --hard b2b3a3d7
git fetch origin master
git merge --no-edit c7269f729a780d8cad2232be10de94ac8da8381e
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.3@sha256:458b49b62865f1cfc7737d31da6aa961afc961ce10c214b72f9fdd4b7985dc6e
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam
RUN opam init --reinit -ni
RUN 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 depext -u || true
RUN opam pin add -k version -yn fstar.2025.06.13 2025.06.13
RUN opam depext fstar.2025.06.13 && opam reinstall fstar.2025.06.13; \
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" != 'fstar.2025.06.13' && 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-13 20:37.48: Using cache hint "ocaml/opam:debian-12-ocaml-5.3@sha256:458b49b62865f1cfc7737d31da6aa961afc961ce10c214b72f9fdd4b7985dc6e-fstar.2025.06.13-b2b3a3d701217939eefe71b5e458d8b02f455b16"
2025-06-13 20:37.48: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.3@sha256:458b49b62865f1cfc7737d31da6aa961afc961ce10c214b72f9fdd4b7985dc6e)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "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 depext -u || true"))
(run (shell "opam pin add -k version -yn fstar.2025.06.13 2025.06.13"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext fstar.2025.06.13 && opam reinstall fstar.2025.06.13;\
\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\" != 'fstar.2025.06.13' && 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-13 20:37.48: Waiting for resource in pool OCluster
2025-06-13 20:37.48: Waiting for worker…
2025-06-13 20:37.50: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
Updating files: 82% (19194/23302)
Updating files: 83% (19341/23302)
Updating files: 84% (19574/23302)
Updating files: 85% (19807/23302)
Updating files: 86% (20040/23302)
Updating files: 87% (20273/23302)
Updating files: 88% (20506/23302)
Updating files: 89% (20739/23302)
Updating files: 90% (20972/23302)
Updating files: 91% (21205/23302)
Updating files: 92% (21438/23302)
Updating files: 93% (21671/23302)
Updating files: 94% (21904/23302)
Updating files: 95% (22137/23302)
Updating files: 96% (22370/23302)
Updating files: 97% (22603/23302)
Updating files: 98% (22836/23302)
Updating files: 99% (23069/23302)
Updating files: 100% (23302/23302)
Updating files: 100% (23302/23302), done.
HEAD is now at c7269f729a Merge pull request #28025 from xavierleroy/camlidl-1.13
Updating c7269f729a..b2b3a3d701
Fast-forward
packages/fstar/fstar.2025.06.13/opam | 52 ++++++++++++++++++++++++++++++++++++
1 file changed, 52 insertions(+)
create mode 100644 packages/fstar/fstar.2025.06.13/opam
(from ocaml/opam:debian-12-ocaml-5.3@sha256:458b49b62865f1cfc7737d31da6aa961afc961ce10c214b72f9fdd4b7985dc6e)
2025-06-13 20:38.30 ---> using "96697d8e79983291d560edbf731c893ea129e422e8dda14986eae24c3f7015ce" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam"))
2025-06-13 20:38.30 ---> saved as "211a1dd5d47969fe3b77188208e600d76b6fc8ebcd774102509f87bbd5668a5a"
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
[NOTE] Will configure 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.
[WARNING] Recommended dependencies -- most packages rely on these:
- m4
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
default (at git+file:///home/opam/opam-repository):
[INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
2025-06-13 20:39.33 ---> saved as "b2d691b01ca271d86992e4253f92b74d327897d3a786a6255c0961e8f1b9772a"
/home/opam: (run (shell "opam config report"))
# opam config report
# opam-version 2.0.10 (adc1e1829a2bef5b240746df80341b508290fe3b)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=12
# solver builtin-mccs+glpk
# install-criteria -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria -removed,-count[version-lag,solution],-new
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.3
2025-06-13 20:39.34 ---> saved as "26aee6e3c6ed9844bcc408592d2dc35d3661b0fd1b513adc0e9aa7173f4a62b2"
/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-13 20:39.43 ---> saved as "2246f931314f7786e34f784a3fc41f89c74313a1957b0536c972e4826fcb508f"
/home/opam: (copy (src .) (dst opam-repository/))
2025-06-13 20:39.53 ---> saved as "cf798e9f3ca782b956a9a84d95ff3acc1d5082f2f9d4f6bfbf55c0cf4aa7dcb5"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
default (at file:///home/opam/opam-repository):
[INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
2025-06-13 20:40.12 ---> saved as "33c97132c488f68508050060c4fbbf5664ec36421b0fa8888b1750629f116ccd"
/home/opam: (run (network host)
(shell "opam depext -u || true"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
The following command needs to be run through "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 bookworm-updates/main amd64 Packages.diff/Index [17.3 kB]
Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2025-06-13-1410.14-F-2025-06-13-1410.14.pdiff [434 B]
Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2025-06-13-1410.14-F-2025-06-13-1410.14.pdiff [434 B]
Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [266 kB]
Fetched 387 kB in 0s (1043 kB/s)
Reading package lists...
# OS package update successful
2025-06-13 20:40.14 ---> saved as "41b89cbe78add131238d01409c43fcc6990e266087a1013cd95df07d3b8308ae"
/home/opam: (run (shell "opam pin add -k version -yn fstar.2025.06.13 2025.06.13"))
fstar is now pinned to version 2025.06.13
2025-06-13 20:40.15 ---> saved as "4c303bae755f89b2318c28c8f531d08ef3667817f5fe9674da3f8d5e549e563a"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext fstar.2025.06.13 && opam reinstall fstar.2025.06.13;\
\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\" != 'fstar.2025.06.13' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
libgmp-dev
pkg-config
# The following system packages are needed:
The following command needs to be run through "sudo":
apt-get install -qq -yy libgmp-dev pkg-config
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libgmpxx4ldbl:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18776 files and directories currently installed.)
Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../2-libpkgconf3_1.8.1-1_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-1) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../3-pkgconf-bin_1.8.1-1_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-1) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../4-pkgconf_1.8.1-1_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-1) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../5-pkg-config_1.8.1-1_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-1) ...
Setting up libpkgconf3:amd64 (1.8.1-1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
Setting up pkgconf-bin (1.8.1-1) ...
Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
Setting up pkgconf:amd64 (1.8.1-1) ...
Setting up pkg-config:amd64 (1.8.1-1) ...
Processing triggers for libc-bin (2.36-9+deb12u10) ...
# OS packages installation successful
fstar.2025.06.13 is not installed. Install it? [Y/n] y
The following actions will be performed:
- install dune 3.19.1 [required by fstar]
- install ocamlbuild 0.16.1 [required by mtime, process]
- install conf-gmp 5 [required by zarith]
- install num 1.5-1 [required by batteries]
- install seq base [required by gen]
- install conf-pkg-config 4 [required by zarith]
- install ocamlfind 1.9.8 [required by process, mtime, batteries, etc.]
- install yojson 3.0.0 [required by fstar]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install stdint 0.7.2 [required by fstar]
- install sexplib0 v0.17.0 [required by ppxlib]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install pprint 20230830 [required by fstar]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install menhirSdk 20230608 [required by menhir]
- install menhirLib 20230608 [required by fstar]
- install memtrace 0.2.3 [required by fstar]
- install cppo 1.8.0 [required by ppx_deriving]
- install camlp-streams 5.0.1 [required by batteries]
- install gen 1.1 [required by sedlex]
- install zarith 1.14 [required by fstar]
- install topkg 1.0.8 [required by mtime]
- install base-bytes base [required by process]
- install ppxlib 0.36.0 [required by fstar]
- install menhir 20230608 [required by fstar]
- install batteries 3.9.0 [required by fstar]
- install mtime 2.1.0 [required by fstar]
- install process 0.2.1 [required by fstar]
- install sedlex 3.6 [required by fstar]
- install ppx_deriving 6.1.0 [required by fstar]
- install ppx_deriving_yojson 3.10.0 [required by fstar]
- install fstar 2025.06.13*
===== 32 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[batteries.3.9.0] found in cache
[camlp-streams.5.0.1] found in cache
[cppo.1.8.0] found in cache
[dune.3.19.1] found in cache
[fstar.2025.06.13] downloaded from https://github.com/FStarLang/FStar/archive/refs/tags/v2025.06.13.tar.gz
[gen.1.1] found in cache
[memtrace.0.2.3] found in cache
[menhir.20230608] found in cache
[menhirLib.20230608] found in cache
[menhirSdk.20230608] found in cache
[mtime.2.1.0] found in cache
[num.1.5-1] found in cache
[ocaml-compiler-libs.v0.17.0] found in cache
[ocamlbuild.0.16.1] found in cache
[ocamlfind.1.9.8] found in cache
[pprint.20230830] found in cache
[ppx_derivers.1.2.1] found in cache
[ppx_deriving.6.1.0] found in cache
[ppx_deriving_yojson.3.10.0] found in cache
[ppxlib.0.36.0] found in cache
[process.0.2.1] found in cache
[sedlex.3.6] found in cache
[sexplib0.v0.17.0] found in cache
[stdint.0.7.2] found in cache
[stdlib-shims.0.3.0] found in cache
[topkg.1.0.8] found in cache
[yojson.3.0.0] found in cache
[zarith.1.14] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> installed num.1.5-1
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed process.0.2.1
-> installed topkg.1.0.8
-> installed mtime.2.1.0
-> installed dune.3.19.1
-> installed ppx_derivers.1.2.1
-> installed camlp-streams.5.0.1
-> installed menhirSdk.20230608
-> installed pprint.20230830
-> installed menhirLib.20230608
-> installed gen.1.1
-> installed cppo.1.8.0
-> installed memtrace.0.2.3
-> installed ocaml-compiler-libs.v0.17.0
-> installed sexplib0.v0.17.0
-> installed stdint.0.7.2
-> installed stdlib-shims.0.3.0
-> installed yojson.3.0.0
-> installed batteries.3.9.0
-> installed menhir.20230608
-> installed ppxlib.0.36.0
-> installed ppx_deriving.6.1.0
-> installed sedlex.3.6
-> installed ppx_deriving_yojson.3.10.0
-> installed fstar.2025.06.13
Done.
<><> fstar.2025.06.13 installed successfully ><><><><><><><><><><><><><><><><><>
=> F* requires specific versions of Z3 to work correctly, and will refuse to run
if the version string does not match. You should have z3-4.8.5 and z3-4.13.3
in your $PATH. For details, see
https://github.com/FStarLang/FStar/blob/master/INSTALL.md#runtime-dependency-particular-version-of-z3.
<><> memtrace.0.2.3 installed successfully ><><><><><><><><><><><><><><><><><><>
=> Tracing the current process is not supported on multicore ocaml, so uses of Gc.Memprof will fail. The library is still useful for reading and writing trace files even when Gc.Memprof is not working.
# Run eval $(opam env) to update the current shell environment
2025-06-13 21:05.30 ---> saved as "d902713762b7534c4a8d9d45fc02754ccf4febda29a121f13ce325b5c41e9e1a"
Job succeeded
2025-06-13 21:05.39: Job succeeded