(for PR #29099)
2025-12-16 09:15.01: New job: build fstar.2025.12.15, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29099/head (749b51f6618d0d7a7f48b66e781d6ecf017bc24a)
on freebsd-14.3-ocaml-5.4/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/29099/head" && git reset --hard 749b51f6
git fetch origin master
git merge --no-edit c199949faadf15109c780af6e7b5b8a514096df6
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM freebsd-14.3-ocaml-5.4
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/local/bin/opam-dev /usr/local/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 fstar.2025.12.15 2025.12.15
RUN opam reinstall fstar.2025.12.15; \
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 "\"freebsd-14.3\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'fstar.2025.12.15' && 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-12-16 09:15.01: Using cache hint "freebsd-14.3-ocaml-5.4-fstar.2025.12.15-749b51f6618d0d7a7f48b66e781d6ecf017bc24a"
2025-12-16 09:15.01: Using OBuilder spec:
((from freebsd-14.3-ocaml-5.4)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
(run (network host)
(shell "opam init --reinit -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 fstar.2025.12.15 2025.12.15"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall fstar.2025.12.15;\
\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 \"\\\"freebsd-14.3\\\"\"; 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.12.15' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-16 09:15.01: Waiting for resource in pool OCluster
2025-12-16 09:15.01: Waiting for worker…
2025-12-16 09:15.01: Got resource from pool OCluster
Building on rosemary
Updating files: 100% (19030/19030), done.
HEAD is now at f0ba368a29 Merge commit 'e76de0de27a7fe72707d71d9e0fae1a3028ed5ad'
HEAD is now at c199949faa Merge pull request #29097 from reynir/release-albatross-v2.6.2
Updating c199949faa..749b51f661
Fast-forward
packages/fstar/fstar.2025.12.15/opam | 52 ++++++++++++++++++++++++++++++++++++
1 file changed, 52 insertions(+)
create mode 100644 packages/fstar/fstar.2025.12.15/opam
(from freebsd-14.3-ocaml-5.4)
2025-12-16 09:12.11 ---> using "463e9b939b79b2568bf98b05cff00f85b3ec5717170cf88773a44ae3b08f11e7" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2025-12-16 09:12.11 ---> saved as "0f4f38cca0f09ffdac905c0015fdbe56f9214c89e28a28ae3325cd6eed47fd99"
/home/opam: (run (network host)
(shell "opam init --reinit -ni"))
No configuration file found, using 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 version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=1 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///home/opam/opam-repository
2025-12-16 09:12.29 ---> saved as "430d75e95f6be08ef0776e6e6bb864bc698709d5f7d071fd7fbbf37d0a8617d5"
/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.5.0
# self-upgrade no
# system arch=x86_64 os=freebsd os-distribution=freebsd os-version=1403000
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 39
# repositories 1 (version-controlled)
# pinned 0
# current-switch 5.4.0
# invariant ["ocaml-base-compiler" {= "5.4.0"} | "ocaml-system" {= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4.0/lib/ocaml/stublibs:/home/opam/.opam/5.4.0/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-12-16 09:12.30 ---> saved as "8a5a57fecc1d42886ddc4a5b75b36583eef8196838ccdc1bf870bc7798f6f185"
/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-12-16 09:12.33 ---> saved as "5d57b5e6a2b42d2aa72fb2cc8558fd5735263edde7f2032c7588b729f1b1565f"
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-16 09:13.38 ---> saved as "82fd3022dc2c68d1cf9c4ddcff907acc355cb4c39805fd801ffceb5f53c1b665"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-16 09:13.54 ---> saved as "6b1420db8d89b7c7ee7ec9dd709adf714b2cd2a3058acf49fed133a8f86b6904"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
[WARNING] Unknown update command for bsd, skipping system update
2025-12-16 09:13.55 ---> saved as "0d78e60bcb91063fa0bb705670be857951023b83609b3d05503073560bd37b98"
/home/opam: (run (shell "opam pin add -k version -yn fstar.2025.12.15 2025.12.15"))
fstar is now pinned to version 2025.12.15
2025-12-16 09:13.56 ---> saved as "76dfdd19a0141dd4a6b39667545f50a5e03b13af549130f4ec2b5c4d7fd53a98"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall fstar.2025.12.15;\
\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 \"\\\"freebsd-14.3\\\"\"; 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.12.15' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
fstar.2025.12.15 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 33 packages
∗ base-bytes base [required by process]
∗ batteries 3.10.0 [required by fstar]
∗ camlp-streams 5.0.1 [required by batteries]
∗ conf-gmp 5 [required by zarith]
∗ conf-pkg-config 4 [required by zarith]
∗ cppo 1.8.0 [required by ppx_deriving]
∗ dune 3.20.2 [required by fstar]
∗ fstar 2025.12.15 (pinned)
∗ gen 1.1 [required by sedlex]
∗ memtrace 0.2.3 [required by fstar]
∗ menhir 20250912 [required by fstar]
∗ menhirCST 20250912 [required by menhir]
∗ menhirLib 20250912 [required by fstar]
∗ menhirSdk 20250912 [required by menhir]
∗ mtime 2.1.0 [required by fstar]
∗ num 1.6 [required by batteries]
∗ ocaml-compiler-libs v0.17.0 [required by ppxlib]
∗ ocamlbuild 0.16.1 [required by mtime, process]
∗ ocamlfind 1.9.8 [required by process, mtime, batteries, etc.]
∗ pprint 20230830 [required by fstar]
∗ ppx_derivers 1.2.1 [required by ppx_deriving]
∗ ppx_deriving 6.1.1 [required by fstar]
∗ ppx_deriving_yojson 3.10.0 [required by fstar]
∗ ppxlib 0.37.0 [required by fstar]
∗ process 0.2.1 [required by fstar]
∗ sedlex 3.7 [required by fstar]
∗ seq base [required by gen]
∗ sexplib0 v0.17.0 [required by ppxlib]
∗ stdint 0.7.2 [required by fstar]
∗ stdlib-shims 0.3.0 [required by ppxlib]
∗ topkg 1.1.1 [required by mtime]
∗ yojson 3.0.0 [required by fstar]
∗ zarith 1.14 [required by fstar]
The following system packages will first need to be installed:
gmp
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run pkg to install them (may need root/sudo access)
2. Display the recommended pkg 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/local/bin/sudo "pkg" "install" "-y" "gmp"
- Updating FreeBSD repository catalogue...
- [rosemary] Fetching data.pkg:
- .
- ..
- ...
- ...
- . done
- Processing entries:
- ...
- ..
- ..
- ..
- . done
- FreeBSD repository update completed. 36646 packages processed.
- Updating FreeBSD-kmods repository catalogue...
- [rosemary] Fetching data.pkg: .. done
- Processing entries: .......... done
- FreeBSD-kmods repository update completed. 244 packages processed.
- All repositories are up to date.
- The following 1 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- gmp: 6.3.0 [FreeBSD]
-
- Number of packages to be installed: 1
-
- The process will require 3 MiB more space.
- 500 KiB to be downloaded.
- [rosemary] [1/1] Fetching gmp-6.3.0~835562201a.pkg: .......
- ... done
- Checking integrity... done (0 conflicting)
- [rosemary] [1/1] Installing gmp-6.3.0...
- [rosemary] [1/1] Extracting gmp-6.3.0: .......... done
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved batteries.3.10.0 (cached)
⬇ retrieved camlp-streams.5.0.1 (cached)
⬇ retrieved conf-gmp.5 (cached)
∗ installed conf-gmp.5
∗ installed conf-pkg-config.4
⬇ retrieved cppo.1.8.0 (cached)
⬇ retrieved dune.3.20.2 (cached)
⬇ retrieved fstar.2025.12.15 (https://github.com/FStarLang/FStar/releases/download/v2025.12.15/fstar-v2025.12.15-src.tar.gz)
⬇ retrieved gen.1.1 (cached)
⬇ retrieved memtrace.0.2.3 (cached)
⬇ retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
⬇ retrieved mtime.2.1.0 (cached)
⬇ retrieved num.1.6 (cached)
⬇ retrieved ocaml-compiler-libs.v0.17.0 (cached)
⬇ retrieved ocamlbuild.0.16.1 (cached)
⬇ retrieved ocamlfind.1.9.8 (cached)
⬇ retrieved pprint.20230830 (cached)
⬇ retrieved ppx_derivers.1.2.1 (cached)
⬇ retrieved ppx_deriving.6.1.1 (cached)
⬇ retrieved ppx_deriving_yojson.3.10.0 (cached)
⬇ retrieved ppxlib.0.37.0 (cached)
⬇ retrieved process.0.2.1 (cached)
⬇ retrieved sedlex.3.7 (cached)
⬇ retrieved seq.base (cached)
∗ installed seq.base
⬇ retrieved sexplib0.v0.17.0 (cached)
⬇ retrieved stdint.0.7.2 (cached)
⬇ retrieved stdlib-shims.0.3.0 (cached)
⬇ retrieved topkg.1.1.1 (cached)
⬇ retrieved yojson.3.0.0 (cached)
⬇ retrieved zarith.1.14 (cached)
∗ installed num.1.6
∗ installed ocamlfind.1.9.8
∗ installed base-bytes.base
∗ installed ocamlbuild.0.16.1
∗ installed process.0.2.1
∗ installed zarith.1.14
∗ installed topkg.1.1.1
∗ installed mtime.2.1.0
∗ installed dune.3.20.2
∗ installed menhirCST.20250912
∗ installed camlp-streams.5.0.1
∗ installed ppx_derivers.1.2.1
∗ installed memtrace.0.2.3
∗ installed gen.1.1
∗ installed stdlib-shims.0.3.0
∗ installed pprint.20230830
∗ installed menhirSdk.20250912
∗ installed cppo.1.8.0
∗ installed menhirLib.20250912
∗ installed sexplib0.v0.17.0
∗ installed ocaml-compiler-libs.v0.17.0
∗ installed stdint.0.7.2
∗ installed yojson.3.0.0
∗ installed batteries.3.10.0
∗ installed menhir.20250912
∗ installed ppxlib.0.37.0
∗ installed ppx_deriving.6.1.1
∗ installed sedlex.3.7
∗ installed ppx_deriving_yojson.3.10.0
[ERROR] The compilation of fstar.2025.12.15 failed at "gmake -j 39 ADMIT=1".
#=== ERROR while compiling fstar.2025.12.15 ===================================#
# context 2.5.0 | freebsd/x86_64 | ocaml-base-compiler.5.4.0 | pinned(https://github.com/FStarLang/FStar/releases/download/v2025.12.15/fstar-v2025.12.15-src.tar.gz)
# path ~/.opam/5.4.0/.opam-switch/build/fstar.2025.12.15
# command /usr/local/bin/gmake -j 39 ADMIT=1
# exit-code 2
# env-file ~/.opam/log/fstar-5858-fc4969.env
# output-file ~/.opam/log/fstar-5858-fc4969.out
### output ###
# DUNE BUILD
# INSTALL LIB SRC
# (cd _build/.sandbox/07b2adb19ef59e7f53931b16c4a78f6b/default && /home/opam/.opam/5.4.0/bin/menhir fstar-guts/FStarC_Parser_Parse.mly --base fstar-guts/FStarC_Parser_Parse --infer-write-query fstar-guts/FStarC_Parser_Parse__mock.ml.mock)
# File "fstar-guts/FStarC_Parser_Parse.mly", line 129, characters 60-70:
# Warning: the token LBRACK_BAR is unused.
# File "fstar-guts/FStarC_Parser_Parse.mly", line 323, characters 0-15:
# Warning: symbol decoratableDecl is unreachable from any of the start symbol(s).
# File "fstar-guts/FStarC_Parser_Parse.mly", line 306, characters 0-16:
# Warning: symbol noDecorationDecl is unreachable from any of the start symbol(s).
# (cd _build/default && /home/opam/.opam/5.4.0/bin/ocamlc.opt -w @1..3@5..28@31..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -w -A -g -I fstar-guts/.fstarcompiler.objs/byte -I /home/opam/.opam/5.4.0/lib/batteries -I /home/opam/.opam/5.4.0/lib/batteries/unthreaded -I /home/opam/.opam/5.4.0/lib/camlp-streams -I /home/opam/.opam/5.4.0/lib/gen -I /home/opam/.opam/5.4.0/lib/menhirLib -I /home/opam/.opam/5.4.0/lib/mtime -I /home/opam/.opam/5.4.0/lib/mtime/clock -I /home/opam/.opam/5.4.0/lib/num -I /home/opam/.opam/5.4.0/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4.0/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4.0/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4.0/lib/ocaml/dynlink -I /home/opam/.opam/5.4.0/lib/ocaml/str -I /home/opam/.opam/5.4.0/lib/ocaml/threads -I /home/opam/.opam/5.4.0/lib/ocaml/unix -I /home/opam/.opam/5.4.0/lib/pprint -I /home/opam/.opam/5.4.0/lib/ppx_derivers -I /home/opam/.opam/5.4.0/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4.0/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/5.4.0/lib/ppxlib -I /home/opam/.opam/5.4.0/lib/ppxlib/ast -I /home/opam/.opam/5.4.0/lib/ppxlib/astlib -I /home/opam/.opam/5.4.0/lib/ppxlib/print_diff -I /home/opam/.opam/5.4.0/lib/ppxlib/stdppx -I /home/opam/.opam/5.4.0/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4.0/lib/process -I /home/opam/.opam/5.4.0/lib/sedlex -I /home/opam/.opam/5.4.0/lib/seq -I /home/opam/.opam/5.4.0/lib/sexplib0 -I /home/opam/.opam/5.4.0/lib/stdint -I /home/opam/.opam/5.4.0/lib/stdlib-shims -I /home/opam/.opam/5.4.0/lib/yojson -I /home/opam/.opam/5.4.0/lib/zarith -no-alias-deps -opaque -open Fstarcompiler -o fstar-guts/.fstarcompiler.objs/byte/fstarcompiler__FStarC_Extraction_ML_PrintML.cmo -c -impl fstar-guts/ml/FStarC_Extraction_ML_PrintML.pp.ml)
# File "fstar-guts/ml/FStarC_Extraction_ML_PrintML.ml", line 80, characters 23-41:
# 80 | | [] -> Ldot(Lident path_abbrev, sym) |> mk_sym_lident
# ^^^^^^^^^^^^^^^^^^
# Error: This expression should not be a constructor, the expected type is
# Longident.t with_loc
# (cd _build/.sandbox/f86d7fb5741d0d925ad286dc93efd6d7/default && /home/opam/.opam/5.4.0/bin/menhir fstar-guts/FStarC_Parser_Parse.mly --base fstar-guts/FStarC_Parser_Parse --infer-read-reply fstar-guts/FStarC_Parser_Parse__mock.mli.inferred)
# Warning: 20 states have shift/reduce conflicts.
# Warning: 302 shift/reduce conflicts were arbitrarily resolved.
# Warning: 226 end-of-stream conflicts were arbitrarily resolved.
# gmake: *** [Makefile:34: build] Error 1
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build fstar 2025.12.15
└─
┌─ The following changes have been performed
│ ∗ install base-bytes base
│ ∗ install batteries 3.10.0
│ ∗ install camlp-streams 5.0.1
│ ∗ install conf-gmp 5
│ ∗ install conf-pkg-config 4
│ ∗ install cppo 1.8.0
│ ∗ install dune 3.20.2
│ ∗ install gen 1.1
│ ∗ install memtrace 0.2.3
│ ∗ install menhir 20250912
│ ∗ install menhirCST 20250912
│ ∗ install menhirLib 20250912
│ ∗ install menhirSdk 20250912
│ ∗ install mtime 2.1.0
│ ∗ install num 1.6
│ ∗ install ocaml-compiler-libs v0.17.0
│ ∗ install ocamlbuild 0.16.1
│ ∗ install ocamlfind 1.9.8
│ ∗ install pprint 20230830
│ ∗ install ppx_derivers 1.2.1
│ ∗ install ppx_deriving 6.1.1
│ ∗ install ppx_deriving_yojson 3.10.0
│ ∗ install ppxlib 0.37.0
│ ∗ install process 0.2.1
│ ∗ install sedlex 3.7
│ ∗ install seq base
│ ∗ install sexplib0 v0.17.0
│ ∗ install stdint 0.7.2
│ ∗ install stdlib-shims 0.3.0
│ ∗ install topkg 1.1.1
│ ∗ install yojson 3.0.0
│ ∗ install zarith 1.14
└─
<><> 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.
The former state can be restored with:
/usr/local/bin/opam switch import "/home/opam/.opam/5.4.0/.opam-switch/backup/state-20251216091357.export"
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
jail: /usr/bin/su -l opam -c cd '/home/opam' && env OPAM_REPO_CI='true' CI='true' OPAMPRECISETRACKING='1' OPAMERRLOGLEN='0' OPAMDOWNLOADJOBS='1' '/usr/bin/env' 'bash' '-c' 'opam reinstall fstar.2025.12.15;
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 "\"freebsd-14.3\""; then
echo "A package failed and has been disabled for CI using the '\''x-ci-accept-failures'\'' field.";
fi;
test "$pkg" != '\''fstar.2025.12.15'\'' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1': failed
"jail" "-c" "name=obuilder_55801_31048" "mount.fstab=/tmp/obuilder-jail-d87dfe/fstab" "mount.devfs" "path=/obuilder/result/f6bf3e09e9df7d21510117a554708e2e03beb8bec6e2d2eac1516a21df5bd55f/rootfs" "host=inherit" "ip6=inherit" "ip4=inherit" "command=/usr/bin/su" "-l" "opam" "-c" "cd '/home/opam' && env OPAM_REPO_CI='true' CI='true' OPAMPRECISETRACKING='1' OPAMERRLOGLEN='0' OPAMDOWNLOADJOBS='1' '/usr/bin/env' 'bash' '-c' 'opam reinstall fstar.2025.12.15;
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 "\"freebsd-14.3\""; then
echo "A package failed and has been disabled for CI using the '\''x-ci-accept-failures'\'' field.";
fi;
test "$pkg" != '\''fstar.2025.12.15'\'' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1'" failed with exit status 1
2025-12-16 09:19.40: Job failed: Failed: Build failed
2025-12-16 09:19.40: Log analysis:
2025-12-16 09:19.40: >>>
[ERROR] The compilation of fstar.2025.12.15 failed at "gmake -j 39 ADMIT=1".
(score = 20)
2025-12-16 09:19.40: >>>
# Error: This expression should not be a constructor, the expected type is
(score = 48)
2025-12-16 09:19.40: This expression should not be a constructor, the expected type is