Build:
- 0
2025-12-08 20:46.20: New job: test coq-lsp.0.2.3+9.0, using opam 2.1
from https://github.com/ocaml/opam-repository.git#refs/pull/29040/head (54a2a184a6d77f10e4b79113c296cba5261ef4fa)
on debian-13-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/29040/head" && git reset --hard 54a2a184
git fetch origin master
git merge --no-edit 4c9d80b7312698c8f185350873cbec03fdf0471a
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.1 /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 coq-lsp.0.2.3+9.0 0.2.3+9.0
RUN opam reinstall coq-lsp.0.2.3+9.0; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'coq-lsp.0.2.3+9.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test coq-lsp.0.2.3+9.0) || true
RUN opam reinstall --with-test --verbose coq-lsp.0.2.3+9.0; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'coq-lsp.0.2.3+9.0' && 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-08 20:46.20: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04-coq-lsp.0.2.3+9.0-54a2a184a6d77f10e4b79113c296cba5261ef4fa"
2025-12-08 20:46.20: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.1 /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 coq-lsp.0.2.3+9.0 0.2.3+9.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall coq-lsp.0.2.3+9.0;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'coq-lsp.0.2.3+9.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test coq-lsp.0.2.3+9.0) || true"))
(run (shell "opam reinstall --with-test --verbose coq-lsp.0.2.3+9.0;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'coq-lsp.0.2.3+9.0' && 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-08 20:46.20: Waiting for resource in pool OCluster
2025-12-09 05:05.55: Waiting for worker…
2025-12-09 05:06.50: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 4c9d80b731 Merge pull request #29031 from NielsMommen/release-ppx_parser-0.2.1
Updating 4c9d80b731..54a2a184a6
Fast-forward
packages/SZXX/SZXX.4.0.0/opam | 2 +-
.../abstract_algebra/abstract_algebra.v0.17.0/opam | 4 +-
packages/accessor/accessor.v0.17.0/opam | 6 +-
.../accessor_async/accessor_async.v0.17.0/opam | 10 +--
packages/accessor_base/accessor_base.v0.17.0/opam | 10 +--
packages/accessor_core/accessor_core.v0.17.0/opam | 10 +--
packages/async/async.v0.17.0/opam | 18 ++---
packages/async_durable/async_durable.v0.17.0/opam | 10 +--
packages/async_extra/async_extra.v0.17.0/opam | 8 +--
packages/async_find/async_find.v0.17.0/opam | 6 +-
packages/async_inotify/async_inotify.v0.17.0/opam | 10 +--
.../async_interactive.v0.17.0/opam | 8 +--
packages/async_js/async_js.v0.17.0/opam | 8 +--
packages/async_kernel/async_kernel.v0.17.0/opam | 6 +-
packages/async_log/async_log.v0.17.0/opam | 12 ++--
.../async_rpc_kernel/async_rpc_kernel.v0.17.0/opam | 12 ++--
.../async_rpc_websocket.v0.17.0/opam | 6 +-
.../async_sendfile/async_sendfile.v0.17.0/opam | 8 +--
packages/async_shell/async_shell.v0.17.0/opam | 8 +--
packages/async_smtp/async_smtp.v0.17.0/opam | 28 ++++----
packages/async_ssl/async_ssl.v0.17.0-1/opam | 12 ++--
packages/async_ssl/async_ssl.v0.17.0/opam | 12 ++--
packages/async_udp/async_udp.v0.17.0/opam | 6 +-
packages/async_unix/async_unix.v0.17.0/opam | 12 ++--
.../async_websocket/async_websocket.v0.17.0/opam | 6 +-
packages/babel/babel.v0.17.0/opam | 12 ++--
packages/base/base.v0.17.0/opam | 4 +-
packages/base/base.v0.17.1/opam | 8 +--
packages/base/base.v0.17.3/opam | 4 +-
.../base_bigstring/base_bigstring.v0.17.0/opam | 6 +-
.../base_quickcheck/base_quickcheck.v0.17.0/opam | 16 ++---
.../base_quickcheck/base_quickcheck.v0.17.1/opam | 16 ++---
packages/base_trie/base_trie.v0.17.0/opam | 8 +--
packages/bigdecimal/bigdecimal.v0.17.0/opam | 6 +-
packages/bignum/bignum.v0.17.0/opam | 10 +--
packages/bin_prot/bin_prot.v0.17.0-1/opam | 16 ++---
packages/bin_prot/bin_prot.v0.17.0/opam | 16 ++---
packages/bonsai/bonsai.v0.17.0/opam | 78 +++++++++++-----------
.../capitalization/capitalization.v0.17.0/opam | 4 +-
.../cmdlang-to-base/cmdlang-to-base.0.0.9/opam | 22 +++---
packages/codicons/codicons.v0.17.0/opam | 6 +-
.../cohttp_async_websocket.v0.17.0/opam | 10 +--
.../cohttp_static_handler.v0.17.0/opam | 2 +-
packages/command_rpc/command_rpc.v0.17.0/opam | 6 +-
.../content_security_policy.v0.17.0/opam | 4 +-
packages/coq-lsp/coq-lsp.0.2.0+8.17/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.0+8.18/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.0+8.19/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.0+8.20/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.2+8.17/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.2+8.18/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.2+8.19/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.2+8.20/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.3+8.17/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.3+8.18/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.3+8.19/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.3+8.20/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.3+9.0/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.4+8.20/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.4+9.0/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.4+9.1/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.5+8.20/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.5+9.0/opam | 8 +--
packages/coq-lsp/coq-lsp.0.2.5+9.1/opam | 8 +--
packages/coq-serapi/coq-serapi.8.20.0+0.20.0/opam | 8 +--
packages/core/core.v0.17.0/opam | 44 ++++++------
packages/core/core.v0.17.1/opam | 44 ++++++------
packages/core_bench/core_bench.v0.17.0/opam | 24 +++----
packages/core_extended/core_extended.v0.17.0/opam | 10 +--
packages/core_kernel/core_kernel.v0.17.0/opam | 12 ++--
packages/core_profiler/core_profiler.v0.17.0/opam | 16 ++---
packages/core_unix/core_unix.v0.17.0/opam | 22 +++---
packages/core_unix/core_unix.v0.17.1/opam | 22 +++---
packages/csvfields/csvfields.v0.17.0/opam | 6 +-
packages/dedent/dedent.v0.17.0/opam | 6 +-
.../delimited_parsing.v0.17.0/opam | 8 +--
packages/ecaml/ecaml.v0.17.0/opam | 16 ++---
packages/email_message/email_message.v0.17.0/opam | 12 ++--
packages/env_config/env_config.v0.17.0/opam | 8 +--
.../expect_test_helpers_async.v0.17.0/opam | 12 ++--
.../expect_test_helpers_core.v0.17.0/opam | 12 ++--
packages/fieldslib/fieldslib.v0.17.0/opam | 2 +-
packages/file-rewriter/file-rewriter.0.0.3/opam | 2 +-
packages/file_path/file_path.v0.17.0/opam | 14 ++--
packages/fuzzy_match/fuzzy_match.v0.17.0/opam | 4 +-
packages/fzf/fzf.v0.17.0/opam | 6 +-
packages/gel/gel.v0.17.0/opam | 4 +-
packages/hardcaml/hardcaml.v0.17.0/opam | 12 ++--
packages/hardcaml/hardcaml.v0.17.1/opam | 12 ++--
packages/hardcaml_axi/hardcaml_axi.v0.17.0/opam | 12 ++--
packages/hardcaml_c/hardcaml_c.v0.17.0/opam | 10 +--
.../hardcaml_circuits.v0.17.0/opam | 8 +--
.../hardcaml_event_driven_sim.v0.17.0/opam | 10 +--
.../hardcaml_fixed_point.v0.17.0/opam | 6 +-
.../hardcaml_handshake.v0.17.0/opam | 8 +--
.../hardcaml_of_verilog.v0.17.0/opam | 20 +++---
.../hardcaml_step_testbench.v0.17.0/opam | 10 +--
.../hardcaml_verify/hardcaml_verify.v0.17.0/opam | 12 ++--
.../hardcaml_verilator.v0.17.0/opam | 10 +--
.../hardcaml_waveterm.v0.17.0/opam | 12 ++--
.../hardcaml_xilinx/hardcaml_xilinx.v0.17.0/opam | 10 +--
.../hardcaml_xilinx_components.v0.17.0/opam | 12 ++--
.../hardcaml_xilinx_reports.v0.17.0/opam | 18 ++---
packages/hex_encode/hex_encode.v0.17.0/opam | 4 +-
packages/hg_lib/hg_lib.v0.17.0/opam | 10 +--
packages/higher_kinded/higher_kinded.v0.17.0/opam | 4 +-
packages/incr_dom/incr_dom.v0.17.0/opam | 18 ++---
.../incr_dom_interactive.v0.17.0/opam | 18 ++---
.../incr_dom_partial_render.v0.17.0/opam | 10 +--
.../incr_dom_sexp_form.v0.17.0/opam | 16 ++---
packages/incr_map/incr_map.v0.17.0/opam | 18 ++---
packages/incr_select/incr_select.v0.17.0/opam | 6 +-
packages/incremental/incremental.v0.17.0/opam | 12 ++--
.../indentation_buffer.v0.17.0/opam | 4 +-
packages/int_repr/int_repr.v0.17.0/opam | 4 +-
packages/jane_rope/jane_rope.v0.17.0/opam | 4 +-
.../janestreet_cpuid/janestreet_cpuid.v0.17.0/opam | 6 +-
.../janestreet_csv/janestreet_csv.v0.17.0/opam | 22 +++---
.../janestreet_lru_cache.v0.17.0/opam | 4 +-
packages/jsonaf/jsonaf.v0.17.0/opam | 4 +-
packages/jst-config/jst-config.v0.17.0/opam | 4 +-
.../legacy_diffable/legacy_diffable.v0.17.0/opam | 8 +--
packages/line-up-words/line-up-words.v0.17.0/opam | 10 +--
.../man_in_the_middle_debugger.v0.17.0/opam | 6 +-
.../memtrace_viewer/memtrace_viewer.v0.17.0/opam | 18 ++---
packages/mlt_parser/mlt_parser.v0.17.0/opam | 6 +-
packages/n_ary/n_ary.v0.17.0/opam | 16 ++---
packages/netsnmp/netsnmp.v0.17.0/opam | 6 +-
packages/notty_async/notty_async.v0.17.0/opam | 4 +-
.../numeric_string/numeric_string.v0.17.0/opam | 4 +-
.../ocaml-embed-file/ocaml-embed-file.v0.17.0/opam | 8 +--
.../ocaml_intrinsics/ocaml_intrinsics.v0.17.0/opam | 2 +-
.../ocaml_openapi_generator.v0.17.0/opam | 16 ++---
packages/of_json/of_json.v0.17.0/opam | 8 +--
.../ordinal_abbreviation.v0.17.0/opam | 4 +-
packages/pam/pam.v0.17.0/opam | 4 +-
packages/parsexp/parsexp.v0.17.0/opam | 2 +-
packages/parsexp_io/parsexp_io.v0.17.0/opam | 8 +--
packages/patdiff/patdiff.v0.17.0/opam | 12 ++--
packages/patience_diff/patience_diff.v0.17.0/opam | 6 +-
.../polling_state_rpc.v0.17.0/opam | 12 ++--
packages/posixat/posixat.v0.17.0/opam | 6 +-
.../postgres_async/postgres_async.v0.17.0/opam | 10 +--
packages/ppx_accessor/ppx_accessor.v0.17.0/opam | 4 +-
packages/ppx_assert/ppx_assert.v0.17.0/opam | 10 +--
packages/ppx_base/ppx_base.v0.17.0/opam | 12 ++--
packages/ppx_bench/ppx_bench.v0.17.0/opam | 2 +-
packages/ppx_bench/ppx_bench.v0.17.1/opam | 2 +-
packages/ppx_bin_prot/ppx_bin_prot.v0.17.0/opam | 6 +-
packages/ppx_bin_prot/ppx_bin_prot.v0.17.1/opam | 8 +--
packages/ppx_cold/ppx_cold.v0.17.0/opam | 2 +-
packages/ppx_compare/ppx_compare.v0.17.0/opam | 4 +-
packages/ppx_conv_func/ppx_conv_func.v0.17.0/opam | 2 +-
packages/ppx_css/ppx_css.v0.17.0/opam | 24 +++----
packages/ppx_csv_conv/ppx_csv_conv.v0.17.0/opam | 8 +--
.../ppx_custom_printf.v0.17.0/opam | 4 +-
packages/ppx_demo/ppx_demo.v0.17.0/opam | 6 +-
.../ppx_derive_at_runtime.v0.17.0/opam | 6 +-
.../ppx_derive_at_runtime.v0.17.1/opam | 6 +-
packages/ppx_diff/ppx_diff.v0.17.0/opam | 12 ++--
packages/ppx_diff/ppx_diff.v0.17.1/opam | 12 ++--
.../ppx_disable_unused_warnings.v0.17.0/opam | 2 +-
.../ppx_embed_file/ppx_embed_file.v0.17.0/opam | 6 +-
packages/ppx_enumerate/ppx_enumerate.v0.17.0/opam | 4 +-
packages/ppx_expect/ppx_expect.v0.17.0/opam | 8 +--
packages/ppx_expect/ppx_expect.v0.17.1/opam | 8 +--
packages/ppx_expect/ppx_expect.v0.17.2/opam | 8 +--
packages/ppx_expect/ppx_expect.v0.17.3/opam | 8 +--
.../ppx_expect_nobase.v0.17.2/opam | 2 +-
.../ppx_fields_conv/ppx_fields_conv.v0.17.0/opam | 4 +-
.../ppx_fixed_literal.v0.17.0/opam | 2 +-
packages/ppx_globalize/ppx_globalize.v0.17.0/opam | 2 +-
packages/ppx_globalize/ppx_globalize.v0.17.2/opam | 4 +-
packages/ppx_hardcaml/ppx_hardcaml.v0.17.0/opam | 6 +-
packages/ppx_hardcaml/ppx_hardcaml.v0.17.1/opam | 6 +-
packages/ppx_hash/ppx_hash.v0.17.0/opam | 8 +--
packages/ppx_here/ppx_here.v0.17.0/opam | 2 +-
.../ppx_inline_test/ppx_inline_test.v0.17.0/opam | 4 +-
.../ppx_inline_test/ppx_inline_test.v0.17.1/opam | 4 +-
.../ppx_inline_test_nobase.v0.17.0.2/opam | 2 +-
.../ppx_inline_test_nobase.v0.17.0/opam | 2 +-
packages/ppx_jane/ppx_jane.v0.17.0/opam | 54 +++++++--------
packages/ppx_js_style/ppx_js_style.v0.17.0/opam | 2 +-
packages/ppx_js_style/ppx_js_style.v0.17.1/opam | 2 +-
.../ppx_jsonaf_conv/ppx_jsonaf_conv.v0.17.0/opam | 6 +-
.../ppx_jsonaf_conv/ppx_jsonaf_conv.v0.17.1/opam | 6 +-
packages/ppx_let/ppx_let.v0.17.0/opam | 4 +-
packages/ppx_let/ppx_let.v0.17.1/opam | 4 +-
packages/ppx_log/ppx_log.v0.17.0/opam | 28 ++++----
.../ppx_module_timer/ppx_module_timer.v0.17.0/opam | 8 +--
packages/ppx_optcomp/ppx_optcomp.v0.17.0/opam | 4 +-
packages/ppx_optcomp/ppx_optcomp.v0.17.1/opam | 4 +-
packages/ppx_optional/ppx_optional.v0.17.0/opam | 4 +-
.../ppx_pattern_bind/ppx_pattern_bind.v0.17.0/opam | 4 +-
.../ppx_pattern_bind/ppx_pattern_bind.v0.17.1/opam | 4 +-
packages/ppx_python/ppx_python.v0.17.0/opam | 4 +-
.../ppx_quick_test/ppx_quick_test.v0.17.0/opam | 24 +++----
.../ppx_quick_test/ppx_quick_test.v0.17.1/opam | 24 +++----
packages/ppx_sexp_conv/ppx_sexp_conv.v0.17.0/opam | 6 +-
packages/ppx_sexp_conv/ppx_sexp_conv.v0.17.1/opam | 6 +-
.../ppx_sexp_message/ppx_sexp_message.v0.17.0/opam | 6 +-
.../ppx_sexp_value/ppx_sexp_value.v0.17.0/opam | 6 +-
packages/ppx_stable/ppx_stable.v0.17.0/opam | 2 +-
packages/ppx_stable/ppx_stable.v0.17.1/opam | 2 +-
.../ppx_stable_witness.v0.17.0/opam | 2 +-
packages/ppx_string/ppx_string.v0.17.0/opam | 4 +-
.../ppx_string_conv/ppx_string_conv.v0.17.0/opam | 8 +--
packages/ppx_tydi/ppx_tydi.v0.17.0/opam | 2 +-
packages/ppx_tydi/ppx_tydi.v0.17.1/opam | 2 +-
.../ppx_typed_fields/ppx_typed_fields.v0.17.0/opam | 18 ++---
.../ppx_typed_fields/ppx_typed_fields.v0.17.1/opam | 18 ++---
.../ppx_typerep_conv/ppx_typerep_conv.v0.17.0/opam | 4 +-
.../ppx_typerep_conv/ppx_typerep_conv.v0.17.1/opam | 4 +-
.../ppx_variants_conv.v0.17.0/opam | 4 +-
.../ppx_variants_conv.v0.17.1/opam | 4 +-
packages/ppx_xml_conv/ppx_xml_conv.v0.17.0/opam | 8 +--
.../ppx_yojson_conv/ppx_yojson_conv.v0.17.0/opam | 6 +-
.../ppx_yojson_conv/ppx_yojson_conv.v0.17.1/opam | 6 +-
packages/profunctor/profunctor.v0.17.0/opam | 6 +-
.../protocol_version_header.v0.17.0/opam | 4 +-
packages/re2/re2.v0.17.0/opam | 8 +--
packages/re_parser/re_parser.v0.17.0/opam | 4 +-
.../record_builder/record_builder.v0.17.0/opam | 4 +-
packages/redis-async/redis-async.v0.17.0/opam | 10 +--
.../regex_parser_intf.v0.17.0/opam | 2 +-
.../resource_cache/resource_cache.v0.17.0/opam | 8 +--
packages/rpc_parallel/rpc_parallel.v0.17.0/opam | 12 ++--
.../semantic_version/semantic_version.v0.17.0/opam | 4 +-
.../sequencer_table/sequencer_table.v0.17.0/opam | 6 +-
packages/sexp/sexp.v0.17.0/opam | 28 ++++----
packages/sexp_diff/sexp_diff.v0.17.0/opam | 4 +-
packages/sexp_grammar/sexp_grammar.v0.17.0/opam | 14 ++--
packages/sexp_macro/sexp_macro.v0.17.0/opam | 8 +--
packages/sexp_pretty/sexp_pretty.v0.17.0/opam | 6 +-
packages/sexp_select/sexp_select.v0.17.0/opam | 6 +-
.../sexp_string_quickcheck.v0.17.0/opam | 6 +-
packages/sexplib/sexplib.v0.17.0/opam | 4 +-
packages/sexps-rewriter/sexps-rewriter.0.0.3/opam | 4 +-
packages/shell/shell.v0.17.0/opam | 10 +--
packages/shexp/shexp.v0.17.0/opam | 4 +-
packages/splay_tree/splay_tree.v0.17.0/opam | 4 +-
.../splittable_random.v0.17.0/opam | 10 +--
packages/stdio/stdio.v0.17.0/opam | 2 +-
.../stored_reversed/stored_reversed.v0.17.0/opam | 4 +-
packages/streamable/streamable.v0.17.0/opam | 12 ++--
packages/streamable/streamable.v0.17.1/opam | 12 ++--
packages/string_dict/string_dict.v0.17.0/opam | 6 +-
packages/tdigest/tdigest.2.2.1/opam | 2 +-
packages/textutils/textutils.v0.17.0/opam | 8 +--
.../textutils_kernel/textutils_kernel.v0.17.0/opam | 4 +-
packages/tilde_f/tilde_f.v0.17.0/opam | 4 +-
packages/time_now/time_now.v0.17.0/opam | 10 +--
packages/timezone/timezone.v0.17.0/opam | 4 +-
.../toplevel_backend/toplevel_backend.v0.17.0/opam | 8 +--
.../toplevel_expect_test.v0.17.0/opam | 16 ++---
.../topological_sort/topological_sort.v0.17.0/opam | 6 +-
packages/torch/torch.v0.17.0/opam | 16 ++---
packages/tracing/tracing.v0.17.0/opam | 10 +--
packages/typerep/typerep.v0.17.0/opam | 2 +-
packages/typerep/typerep.v0.17.1/opam | 2 +-
packages/uopt/uopt.v0.17.0/opam | 4 +-
.../username_kernel/username_kernel.v0.17.0/opam | 4 +-
packages/variantslib/variantslib.v0.17.0/opam | 2 +-
.../versioned_polling_state_rpc.v0.17.0/opam | 10 +--
packages/virtual_dom/virtual_dom.v0.17.0/opam | 12 ++--
.../virtual_dom_toplayer.v0.17.0/opam | 10 +--
packages/zstandard/zstandard.v0.17.0/opam | 6 +-
267 files changed, 1181 insertions(+), 1181 deletions(-)
(from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04' locally
docker.io/ocaml/opam@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04: Pulling from ocaml/opam
75a759b14a01: Pulling fs layer
75a759b14a01: Verifying Checksum
75a759b14a01: Download complete
75a759b14a01: Pull complete
Digest: sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
Status: Downloaded newer image for ocaml/opam@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
2025-12-09 05:07.56 ---> using "5f87df8c1f6f0886e7311dfd3df40b8bbb961cc34c83c0d033c6dd248c84bc7d" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2025-12-09 05:07.56 ---> using "7ff13938240a08408a26030c66f2b428414ae976242aba17a99b7672ea8494f3" 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.1, 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-12-09 05:07.56 ---> using "8e6b612cd3acb921cf2d3a5186c75183ee9371be16789b0e85a99bd1e23091f7" 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.1.6 (263921263e1f745613e2882745114b7b08f3608b)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria
# upgrade-criteria
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-12-09 05:07.56 ---> using "5c4cd168bd75aad870f6576ff729cdc915cc1eccd0ec6d372463937384d7b05f" 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-12-09 05:07.56 ---> using "ae5a32f7810d6f111a01883b8b42a09ffd3225d9680f9acec1fdaf83d5160556" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-09 05:07.57 ---> using "5f3a6588c61b3af40dc150975408da855f21ea37fd78191b91c114a5df3caf7c" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-09 05:07.57 ---> using "1081d0a0131ced4dbd45a040f9c026533595436008084f849e9fa804e05e410d" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [81.7 kB]
- Fetched 172 kB in 0s (1214 kB/s)
- Reading package lists...
2025-12-09 05:07.57 ---> using "4c0cad388266a9291664ef268bd187af467abdc99e8fbeb7531bf5a40241ab9a" from cache
/home/opam: (run (shell "opam pin add -k version -yn coq-lsp.0.2.3+9.0 0.2.3+9.0"))
coq-lsp is now pinned to version 0.2.3+9.0
2025-12-09 05:07.57 ---> using "fb1e5cab26ff9cd90e16496b0439570a614b340f75bf56ae0878fc01c183d089" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall coq-lsp.0.2.3+9.0;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'coq-lsp.0.2.3+9.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
coq-lsp.0.2.3+9.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
- install cmdliner 2.1.0 [required by coq-lsp]
- install conf-linux-libc-dev 0 [required by rocq-runtime]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install num 1.6 [required by sexplib]
- install ocamlfind 1.9.8 [required by coq-lsp]
- install dune 3.20.2 [required by coq-lsp]
- install zarith 1.14 [required by coq-lsp]
- install yojson 3.0.0 [required by coq-lsp]
- install stringext 1.6.0 [required by uri]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install sexplib0 v0.17.0 [required by sexplib]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install menhirSdk 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirCST 20250912 [required by menhir]
- install jane-street-headers v0.17.0 [required by time_now]
- install dune-build-info 3.20.2 [required by coq-lsp]
- install csexp 1.5.2 [required by dune-configurator]
- install cppo 1.8.0 [required by ppx_deriving]
- install rocq-runtime 9.0.1 [required by rocq-core, rocq-stdlib]
- install parsexp v0.17.0 [required by sexplib]
- install ppxlib 0.37.0 [required by ppx_import, ppx_deriving_yojson, ppx_compare, etc.]
- install menhir 20250912 [required by coq-lsp]
- install dune-configurator 3.20.2 [required by base]
- install rocq-core 9.0.1 [required by coq-lsp]
- install sexplib v0.17.0 [required by coq-lsp]
- install ppxlib_jane v0.17.4 [required by ppx_compare, ppx_hash]
- install ppx_import 1.12.0 [required by coq-lsp]
- install ppx_deriving 6.1.1 [required by coq-lsp]
- install bigstringaf 0.10.0 [required by angstrom]
- install base v0.17.3 [required by ppx_hash, ppx_compare, ppx_inline_test]
- install rocq-stdlib 9.0.0 [required by coq-lsp]
- install ppx_deriving_yojson 3.10.0 [required by coq-lsp]
- install angstrom 0.16.1 [required by uri]
- install stdio v0.17.0 [required by ppx_optcomp]
- install ppx_sexp_conv v0.17.1 [required by coq-lsp]
- install ppx_here v0.17.0 [required by ppx_assert]
- install ppx_globalize v0.17.2 [required by ppx_base]
- install ppx_enumerate v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by coq-lsp]
- install ppx_cold v0.17.0 [required by ppx_base]
- install uri 4.4.0 [required by coq-lsp]
- install ppx_optcomp v0.17.1 [required by time_now]
- install ppx_hash v0.17.0 [required by coq-lsp]
- install ppx_assert v0.17.0 [required by jst-config]
- install ppx_base v0.17.0 [required by time_now]
- install jst-config v0.17.0 [required by time_now]
- install time_now v0.17.0 [required by ppx_inline_test]
- install ppx_inline_test v0.17.1 [required by coq-lsp]
- install coq-lsp 0.2.3+9.0*
===== 54 to install =====
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- 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 ... 20653 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved base.v0.17.3 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> installed conf-linux-libc-dev.0
-> retrieved coq-lsp.0.2.3+9.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.20.2 (cached)
-> retrieved dune-build-info.3.20.2 (cached)
-> retrieved dune-configurator.3.20.2 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> installed cmdliner.2.1.0
-> retrieved menhir.20250912 (cached)
-> retrieved menhirCST.20250912 (cached)
-> retrieved menhirLib.20250912 (cached)
-> retrieved menhirSdk.20250912 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppx_deriving_yojson.3.10.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.2 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_import.1.12.0 (cached)
-> retrieved ppx_inline_test.v0.17.1 (cached)
-> retrieved ppx_optcomp.v0.17.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.1 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved ppxlib_jane.v0.17.4 (cached)
-> retrieved rocq-core.9.0.1 (cached)
-> retrieved rocq-runtime.9.0.1 (cached)
-> installed num.1.6
-> retrieved rocq-stdlib.9.0.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed dune.3.20.2
-> installed csexp.1.5.2
-> installed cppo.1.8.0
-> installed jane-street-headers.v0.17.0
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ppx_derivers.1.2.1
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed yojson.3.0.0
-> installed dune-build-info.3.20.2
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed angstrom.0.16.1
-> installed uri.4.4.0
-> installed base.v0.17.3
-> installed stdio.v0.17.0
-> installed menhir.20250912
-> installed ppxlib.0.37.0
-> installed ppxlib_jane.v0.17.4
-> installed ppx_optcomp.v0.17.1
-> installed ppx_cold.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.2
-> installed ppx_import.1.12.0
-> installed ppx_deriving.6.1.1
-> installed ppx_compare.v0.17.0
-> installed ppx_sexp_conv.v0.17.1
-> installed ppx_deriving_yojson.3.10.0
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_base.v0.17.0
-> installed jst-config.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_inline_test.v0.17.1
-> installed rocq-runtime.9.0.1
-> installed rocq-core.9.0.1
-> installed rocq-stdlib.9.0.0
-> installed coq-lsp.0.2.3+9.0
Done.
# Run eval $(opam env) to update the current shell environment
2025-12-09 05:20.48 ---> saved as "8d6f83cd496dec9660d53bce33746caf9c63f294d12c9ea8a89a26af694e8ace"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test coq-lsp.0.2.3+9.0) || true"))
The following actions will be performed:
- recompile coq-lsp 0.2.3+9.0*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed coq-lsp.0.2.3+9.0
-> installed coq-lsp.0.2.3+9.0
Done.
# Run eval $(opam env) to update the current shell environment
2025-12-09 05:29.59 ---> saved as "853d5611db6646039e9a7ea07e2201c9568bebc98f22036a58e63be7f9fdb231"
/home/opam: (run (shell "opam reinstall --with-test --verbose coq-lsp.0.2.3+9.0;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'coq-lsp.0.2.3+9.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
- recompile coq-lsp 0.2.3+9.0*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [coq-lsp: rm vendor]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor" (CWD=/home/opam/.opam/5.4/.opam-switch/build/coq-lsp.0.2.3+9.0)
Processing 2/4: [coq-lsp: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "coq-lsp" "-j" "71" (CWD=/home/opam/.opam/5.4/.opam-switch/build/coq-lsp.0.2.3+9.0)
Processing 2/4: [coq-lsp: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "coq-lsp" "-j" "71" (CWD=/home/opam/.opam/5.4/.opam-switch/build/coq-lsp.0.2.3+9.0)
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c 'for i in ../../../compiler/fcc.exe ../../../serlib/plugins/*/*.cmxs; do echo "# $(md5sum $i)"; done >> test_roundtrip')
- md5sum: '../../../serlib/plugins/*/*.cmxs': No such file or directory
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip extraction.v')
- [perfdata]
- { num sentences: 6
- ; stats: hashing: 0.000077 | parsing: 0.000351 | exec: 0.017607; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip primitives.v')
- [perfdata]
- { num sentences: 8
- ; stats: hashing: 0.000075 | parsing: 0.000540 | exec: 0.000980; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip now.v')
- [perfdata]
- { num sentences: 5
- ; stats: hashing: 0.000184 | parsing: 0.000422 | exec: 0.002920; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip hint_rewrite.v')
- [perfdata]
- { num sentences: 15
- ; stats: hashing: 0.000206 | parsing: 0.001074 | exec: 0.002730; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip intropattern.v')
- [perfdata]
- { num sentences: 17
- ; stats: hashing: 0.000348 | parsing: 0.003755 | exec: 0.012898; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip ItHolds.v')
- [perfdata]
- { num sentences: 26
- ; stats: hashing: 0.000261 | parsing: 0.007199 | exec: 0.048024; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip case.v')
- [perfdata]
- { num sentences: 7
- ; stats: hashing: 0.000244 | parsing: 0.002301 | exec: 0.048764; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip mbid.v')
- [perfdata]
- { num sentences: 48
- ; stats: hashing: 0.000412 | parsing: 0.007814 | exec: 0.067588; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip move.v')
- [perfdata]
- { num sentences: 63
- ; stats: hashing: 0.000485 | parsing: 0.004946 | exec: 0.090564; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip clear.v')
- [perfdata]
- { num sentences: 34
- ; stats: hashing: 0.000335 | parsing: 0.003367 | exec: 0.182590; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip auto.v')
- [perfdata]
- { num sentences: 15
- ; stats: hashing: 0.000181 | parsing: 0.000900 | exec: 0.176354; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip eauto.v')
- [perfdata]
- { num sentences: 25
- ; stats: hashing: 0.000288 | parsing: 0.001924 | exec: 0.181901; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip revert.v')
- [perfdata]
- { num sentences: 25
- ; stats: hashing: 0.000246 | parsing: 0.002235 | exec: 0.178176; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip instantiate.v')
- [perfdata]
- { num sentences: 14
- ; stats: hashing: 0.000240 | parsing: 0.001132 | exec: 0.171439; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip intros.v')
- [perfdata]
- { num sentences: 33
- ; stats: hashing: 0.000300 | parsing: 0.002042 | exec: 0.181478; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip symmetry.v')
- [perfdata]
- { num sentences: 13
- ; stats: hashing: 0.000170 | parsing: 0.001033 | exec: 0.179310; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip specialize.v')
- [perfdata]
- { num sentences: 37
- ; stats: hashing: 0.000317 | parsing: 0.002619 | exec: 0.190368; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip exists.v')
- [perfdata]
- { num sentences: 43
- ; stats: hashing: 0.000438 | parsing: 0.003329 | exec: 0.207010; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip firstorder.v')
- [perfdata]
- { num sentences: 51
- ; stats: hashing: 0.000523 | parsing: 0.003548 | exec: 0.198187; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip subst.v')
- [perfdata]
- { num sentences: 44
- ; stats: hashing: 0.000392 | parsing: 0.003757 | exec: 0.200607; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip tactic_notation.v')
- [perfdata]
- { num sentences: 11
- ; stats: hashing: 0.000224 | parsing: 0.002992 | exec: 0.291970; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip add_field.v')
- [perfdata]
- { num sentences: 3
- ; stats: hashing: 0.000096 | parsing: 0.000545 | exec: 0.406532; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip exact.v')
- [perfdata]
- { num sentences: 64
- ; stats: hashing: 0.000371 | parsing: 0.004019 | exec: 0.406775; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip functional_induction.v')
- [perfdata]
- { num sentences: 14
- ; stats: hashing: 0.000190 | parsing: 0.001271 | exec: 0.418514; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip setoid_rewrite.v')
- [perfdata]
- { num sentences: 15
- ; stats: hashing: 0.000195 | parsing: 0.003362 | exec: 0.480130; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip fix.v')
- [perfdata]
- { num sentences: 18
- ; stats: hashing: 0.000235 | parsing: 0.003507 | exec: 0.501589; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip rename.v')
- [perfdata]
- { num sentences: 9
- ; stats: hashing: 0.000128 | parsing: 0.001430 | exec: 0.503416; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip abstract.v')
- [perfdata]
- { num sentences: 135
- ; stats: hashing: 0.001556 | parsing: 0.011565 | exec: 0.569327; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip functional_scheme.v')
- [perfdata]
- { num sentences: 11
- ; stats: hashing: 0.000175 | parsing: 0.001834 | exec: 0.554751; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip elim.v')
- [perfdata]
- { num sentences: 44
- ; stats: hashing: 0.000388 | parsing: 0.004051 | exec: 0.577367; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip replace.v')
- [perfdata]
- { num sentences: 67
- ; stats: hashing: 0.000512 | parsing: 0.003993 | exec: 0.539465; cache:
- 0 w
- (cd _build/default/test/serlib/genarg && /usr/bin/bash -e -u -o pipefail -c './test_roundtrip libTactics.v')
- [perfdata]
- { num sentences: 1183
- ; stats: hashing: 0.014691 | parsing: 0.406873 | exec: 0.629312; cache:
- 0 w
-> compiled coq-lsp.0.2.3+9.0
-> removed coq-lsp.0.2.3+9.0
-> installed coq-lsp.0.2.3+9.0
Done.
# Run eval $(opam env) to update the current shell environment
2025-12-09 05:38.50 ---> saved as "ab8a5bb3d91cd8f4ac9b6a92534d8d6307647792f0ff414f093179cdd9745618"
Job succeeded
2025-12-09 05:39.07: Job succeeded