Home|Differences with the last checks|Previous runs

Differences between 69f4d66 and 340ee6f (git diff)

Packages now failing:

• functory.0.6 on 4.14.2 had its build status changed: passing to failing
• profiler-plugin.1.30 on 4.14.2 had its build status changed: partially failing to failing
• satML-plugin.1.30 on 4.14.2 had its build status changed: partially failing to failing
• timmy-lwt.1.1.5 on 4.14.2 had its build status changed: passing to failing
• timmy-lwt.1.1.5 on 5.3.0 had its build status changed: passing to failing

Packages now partially failing:

Packages now not available:

• alt-ergo-free.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• ambient-context-eio.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• ambient-context-lwt.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ambient-context-lwt.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• ambient-context.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• ambient-context.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• calendars.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• calendars.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• camels.0.0.4 on 4.14.2 is not available anymore. Previous state was: passing
• camels.0.0.4 on 5.3.0 is not available anymore. Previous state was: passing
• capnp-rpc-net.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• capnp-rpc-unix.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• capnp-rpc.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• catala-format.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• catala-format.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• catala-lsp.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• catala-lsp.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• catala.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• catala.1.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-bin.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-bin.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-lwt-unix.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim-mirage.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim-mirage.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• dkim.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• dkim.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• domainpc.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• dune-release.2.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• dune-release.2.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• ezcurl-lwt.0.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• ezcurl-lwt.0.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• ezcurl.0.2.4 on 4.14.2 is not available anymore. Previous state was: passing
• ezcurl.0.2.4 on 5.3.0 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.10~beta on 4.14.2 is not available anymore. Previous state was: passing
• frama-c-metacsl.0.10~beta on 5.3.0 is not available anymore. Previous state was: passing
• fstar.2025.10.06 on 4.14.2 is not available anymore. Previous state was: passing
• fstar.2025.10.06 on 5.3.0 is not available anymore. Previous state was: passing
• git-kv.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• git-kv.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• git-net.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• git-net.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• hevea.2.36 on 4.14.2 is not available anymore. Previous state was: passing
• hevea.2.36 on 5.3.0 is not available anymore. Previous state was: passing
• intel_hex.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• intel_hex.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• jingoo.1.5.1 on 4.14.2 is not available anymore. Previous state was: passing
• jingoo.1.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• libbinaryen.124.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• libbinaryen.124.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-js.2.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-js.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-lang.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap-mode.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• liquidsoap.2.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• liquidsoap.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• lmdb.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• lmdb.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• loc.0.2.2 on 4.14.2 is not available anymore. Previous state was: passing
• loc.0.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• lwt.6.0.0-beta01 on 4.14.2 is not available anymore. Previous state was: passing
• lwt.6.0.0-beta01 on 5.3.0 is not available anymore. Previous state was: passing
• lwt_direct.6.0.0-beta01 on 5.3.0 is not available anymore. Previous state was: passing
• lwt_ppx.6.0.0-beta01 on 4.14.2 is not available anymore. Previous state was: passing
• lwt_ppx.6.0.0-beta01 on 5.3.0 is not available anymore. Previous state was: passing
• lwt_runtime_events.6.0.0-beta01 on 5.3.0 is not available anymore. Previous state was: passing
• menhir-lsp.0.2 on 4.14.2 is not available anymore. Previous state was: passing
• menhir-lsp.0.2 on 5.3.0 is not available anymore. Previous state was: passing
• menhir.20250912 on 4.14.2 is not available anymore. Previous state was: passing
• menhir.20250912 on 5.3.0 is not available anymore. Previous state was: passing
• menhirCST.20250912 on 4.14.2 is not available anymore. Previous state was: passing
• menhirCST.20250912 on 5.3.0 is not available anymore. Previous state was: passing
• menhirLib.20250912 on 4.14.2 is not available anymore. Previous state was: passing
• menhirLib.20250912 on 5.3.0 is not available anymore. Previous state was: passing
• menhirSdk.20250912 on 4.14.2 is not available anymore. Previous state was: passing
• menhirSdk.20250912 on 5.3.0 is not available anymore. Previous state was: passing
• miou.0.5.1 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool-lwt.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• moonpool.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-mlx-lib.0.28.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-mlx-lib.0.28.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlformat-mlx.0.28.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlformat-mlx.0.28.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• patricia-tree.0.11.0 on 4.14.2 is not available anymore. Previous state was: passing
• patricia-tree.0.11.0 on 5.3.0 is not available anymore. Previous state was: passing
• print-table.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• print-table.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-stream.0.12.2 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-stream.0.12.2 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-tool.0.12.2 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.2 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.2 on 5.3.0 is not available anymore. Previous state was: passing
• qcow.0.12.2 on 4.14.2 is not available anymore. Previous state was: passing
• raga.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• raga.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• restricted.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• shakuhachi.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• shakuhachi.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.19.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.19.0 on 5.3.0 is not available anymore. Previous state was: passing
• styled-ppx.0.56.0 on 5.3.0 is not available anymore. Previous state was: passing
• unionFind.20250818 on 4.14.2 had its build status changed: passing to not available
• volgo-base.0.0.21 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-git-backend.0.0.21 on 4.14.2 is not available anymore. Previous state was: passing
• volgo-git-backend.0.0.21 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-git-eio.0.0.21 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-hg-backend.0.0.21 on 4.14.2 is not available anymore. Previous state was: passing
• volgo-hg-backend.0.0.21 on 5.3.0 is not available anymore. Previous state was: passing
• volgo-hg-eio.0.0.21 on 5.3.0 is not available anymore. Previous state was: passing
• volgo.0.0.21 on 4.14.2 is not available anymore. Previous state was: passing
• volgo.0.0.21 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• conf-sqlite3.1 on 4.14.2 had its build status changed: passing to internal failure
• deriving.0.8.1 on 4.14.2 had its build status changed: passing to internal failure
• lbvs_consent.2.1.2 on 4.14.2 had its build status changed: failing to internal failure
• lemonade-sqlite.0.1.0 on 4.14.2 had its build status changed: passing to internal failure
• lemonade.0.6.0 on 4.14.2 had its build status changed: passing to internal failure
• pilat.1.6 on 4.14.2 had its build status changed: partially failing to internal failure
• tezos-protocol-plugin-009-PsFLoren-registerer.17.3 on 4.14.2 had its build status changed: partially failing to internal failure

Packages now passing:

• alt-ergo-free.2.4.3 on 4.14.2 is now installable. Current state is: passing
• alt-ergo-free.2.4.3 on 5.3.0 is now installable. Current state is: passing
• ambient-context-eio.0.1.1 on 5.3.0 is now installable. Current state is: passing
• ambient-context-lwt.0.1.1 on 4.14.2 is now installable. Current state is: passing
• ambient-context-lwt.0.1.1 on 5.3.0 is now installable. Current state is: passing
• ambient-context.0.1.1 on 4.14.2 is now installable. Current state is: passing
• ambient-context.0.1.1 on 5.3.0 is now installable. Current state is: passing
• bancos.0.0.1 on 5.3.0 is now installable. Current state is: passing
• bank.0.0.1 on 5.3.0 is now installable. Current state is: passing
• binsec_codex.1.0-rc4 on 4.14.2 is now installable. Current state is: passing
• binsec_codex.1.0-rc4 on 5.3.0 is now installable. Current state is: passing
• calendars.2.0.0 on 4.14.2 is now installable. Current state is: passing
• calendars.2.0.0 on 5.3.0 is now installable. Current state is: passing
• camels.1.0.0 on 4.14.2 is now installable. Current state is: passing
• camels.1.0.0 on 5.3.0 is now installable. Current state is: passing
• capnp-rpc-net.2.1.1 on 5.3.0 is now installable. Current state is: passing
• capnp-rpc-unix.2.1.1 on 5.3.0 is now installable. Current state is: passing
• capnp-rpc.2.1.1 on 5.3.0 is now installable. Current state is: passing
• catala-format.1.1.0 on 4.14.2 is now installable. Current state is: passing
• catala-format.1.1.0 on 5.3.0 is now installable. Current state is: passing
• catala-lsp.1.1.1 on 4.14.2 is now installable. Current state is: passing
• catala-lsp.1.1.1 on 5.3.0 is now installable. Current state is: passing
• catala.1.1.0 on 4.14.2 is now installable. Current state is: passing
• catala.1.1.0 on 5.3.0 is now installable. Current state is: passing
• cgi.0.10 on 4.14.2 had its build status changed: failing to passing
• codex.1.0~rc4 on 4.14.2 is now installable. Current state is: passing
• codex.1.0~rc4 on 5.3.0 is now installable. Current state is: passing
• conf-gtksourceview3.0+2 on 5.3.0 had its build status changed: internal failure to passing
• conf-llvm-shared.19 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl-ttf.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-image.1 on 4.14.2 had its build status changed: internal failure to passing
• csexp-query.0.1.0 on 4.14.2 is now installable. Current state is: passing
• csexp-query.0.1.0 on 5.3.0 is now installable. Current state is: passing
• cubicle.1.2.0 on 4.14.2 had its build status changed: failing to passing
• dkim-bin.0.10.0 on 4.14.2 is now installable. Current state is: passing
• dkim-bin.0.10.0 on 5.3.0 is now installable. Current state is: passing
• dkim-lwt-unix.0.10.0 on 4.14.2 is now installable. Current state is: passing
• dkim-lwt-unix.0.10.0 on 5.3.0 is now installable. Current state is: passing
• dkim-mirage.0.10.0 on 4.14.2 is now installable. Current state is: passing
• dkim-mirage.0.10.0 on 5.3.0 is now installable. Current state is: passing
• dkim.0.10.0 on 4.14.2 is now installable. Current state is: passing
• dkim.0.10.0 on 5.3.0 is now installable. Current state is: passing
• domainpc.0.2 on 5.3.0 is now installable. Current state is: passing
• dune-release.2.2.0 on 4.14.2 is now installable. Current state is: passing
• dune-release.2.2.0 on 5.3.0 is now installable. Current state is: passing
• ezcurl-lwt.0.3 on 4.14.2 is now installable. Current state is: passing
• ezcurl-lwt.0.3 on 5.3.0 is now installable. Current state is: passing
• ezcurl.0.3 on 4.14.2 is now installable. Current state is: passing
• ezcurl.0.3 on 5.3.0 is now installable. Current state is: passing
• frama-c-metacsl.0.10 on 4.14.2 is now installable. Current state is: passing
• frama-c-metacsl.0.10 on 5.3.0 is now installable. Current state is: passing
• frama_c_codex.1.0-rc4 on 4.14.2 is now installable. Current state is: passing
• frama_c_codex.1.0-rc4 on 5.3.0 is now installable. Current state is: passing
• fstar.2025.12.15 on 4.14.2 is now installable. Current state is: passing
• fstar.2025.12.15 on 5.3.0 is now installable. Current state is: passing
• gdbprofiler.0.4 on 4.14.2 had its build status changed: failing to passing
• git-kv.0.2.1 on 4.14.2 is now installable. Current state is: passing
• git-kv.0.2.1 on 5.3.0 is now installable. Current state is: passing
• git-net.0.2.1 on 4.14.2 is now installable. Current state is: passing
• git-net.0.2.1 on 5.3.0 is now installable. Current state is: passing
• hevea.2.38 on 4.14.2 is now installable. Current state is: passing
• hevea.2.38 on 5.3.0 is now installable. Current state is: passing
• intel_hex.0.3 on 4.14.2 is now installable. Current state is: passing
• intel_hex.0.3 on 5.3.0 is now installable. Current state is: passing
• jingoo.1.5.2 on 4.14.2 is now installable. Current state is: passing
• jingoo.1.5.2 on 5.3.0 is now installable. Current state is: passing
• layoutz.0.0.2 on 4.14.2 is now installable. Current state is: passing
• layoutz.0.0.2 on 5.3.0 is now installable. Current state is: passing
• libbinaryen.125.0.0 on 4.14.2 is now installable. Current state is: passing
• libbinaryen.125.0.0 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-js.2.4.2 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-js.2.4.2 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-lang.2.4.2 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-lang.2.4.2 on 5.3.0 is now installable. Current state is: passing
• liquidsoap-mode.2.4.2 on 4.14.2 is now installable. Current state is: passing
• liquidsoap-mode.2.4.2 on 5.3.0 is now installable. Current state is: passing
• liquidsoap.2.4.2 on 4.14.2 is now installable. Current state is: passing
• liquidsoap.2.4.2 on 5.3.0 is now installable. Current state is: passing
• lmdb.1.1.1 on 4.14.2 is now installable. Current state is: passing
• lmdb.1.1.1 on 5.3.0 is now installable. Current state is: passing
• loc.0.3.3 on 4.14.2 is now installable. Current state is: passing
• loc.0.3.3 on 5.3.0 is now installable. Current state is: passing
• lrgrep.0.3 on 4.14.2 is now installable. Current state is: passing
• lrgrep.0.3 on 5.3.0 is now installable. Current state is: passing
• lwt.6.1.0 on 4.14.2 is now installable. Current state is: passing
• lwt.6.1.0 on 5.3.0 is now installable. Current state is: passing
• lwt_direct.6.0.0 on 5.3.0 is now installable. Current state is: passing
• lwt_ppx.6.1.0 on 4.14.2 is now installable. Current state is: passing
• lwt_ppx.6.1.0 on 5.3.0 is now installable. Current state is: passing
• lwt_runtime_events.6.0.0 on 5.3.0 is now installable. Current state is: passing
• markdown_monolith.0.1.1 on 4.14.2 is now installable. Current state is: passing
• markdown_monolith.0.1.1 on 5.3.0 is now installable. Current state is: passing
• menhir-lsp.0.2.1 on 4.14.2 is now installable. Current state is: passing
• menhir-lsp.0.2.1 on 5.3.0 is now installable. Current state is: passing
• menhir.20260203 on 4.14.2 is now installable. Current state is: passing
• menhir.20260203 on 5.3.0 is now installable. Current state is: passing
• menhirCST.20260203 on 4.14.2 is now installable. Current state is: passing
• menhirCST.20260203 on 5.3.0 is now installable. Current state is: passing
• menhirGLR.20260203 on 4.14.2 is now installable. Current state is: passing
• menhirGLR.20260203 on 5.3.0 is now installable. Current state is: passing
• menhirLib.20260203 on 4.14.2 is now installable. Current state is: passing
• menhirLib.20260203 on 5.3.0 is now installable. Current state is: passing
• menhirSdk.20260203 on 4.14.2 is now installable. Current state is: passing
• menhirSdk.20260203 on 5.3.0 is now installable. Current state is: passing
• miou.0.5.2 on 5.3.0 is now installable. Current state is: passing
• moonpool-lwt.0.11 on 5.3.0 is now installable. Current state is: passing
• moonpool.0.11 on 5.3.0 is now installable. Current state is: passing
• mset.0.2.0 on 4.14.2 is now installable. Current state is: passing
• mset.0.2.0 on 5.3.0 is now installable. Current state is: passing
• ocaml-yescrypt.0.1.1 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.28.1.2 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-mlx-lib.0.28.1.2 on 5.3.0 is now installable. Current state is: passing
• ocamlformat-mlx.0.28.1.2 on 4.14.2 is now installable. Current state is: passing
• ocamlformat-mlx.0.28.1.2 on 5.3.0 is now installable. Current state is: passing
• opam-repomin.1.0.0 on 5.3.0 is now installable. Current state is: passing
• patricia-tree.0.12.0 on 4.14.2 is now installable. Current state is: passing
• patricia-tree.0.12.0 on 5.3.0 is now installable. Current state is: passing
• print-table.0.1.3 on 4.14.2 is now installable. Current state is: passing
• print-table.0.1.3 on 5.3.0 is now installable. Current state is: passing
• pxshot.0.1.2 on 4.14.2 is now installable. Current state is: passing
• pxshot.0.1.2 on 5.3.0 is now installable. Current state is: passing
• qcow-stream.0.12.3 on 4.14.2 is now installable. Current state is: passing
• qcow-stream.0.12.3 on 5.3.0 is now installable. Current state is: passing
• qcow-tool.0.12.3 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.12.3 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.12.3 on 5.3.0 is now installable. Current state is: passing
• qcow.0.12.3 on 4.14.2 is now installable. Current state is: passing
• qdrant.0.2.0 on 5.3.0 is now installable. Current state is: passing
• raga.0.1.1 on 4.14.2 is now installable. Current state is: passing
• raga.0.1.1 on 5.3.0 is now installable. Current state is: passing
• react-rules-of-hooks-ppx.1.1.0 on 4.14.2 is now installable. Current state is: passing
• react-rules-of-hooks-ppx.1.1.0 on 5.3.0 is now installable. Current state is: passing
• restricted.1.2.0 on 5.3.0 is now installable. Current state is: passing
• rowex.0.0.1 on 4.14.2 is now installable. Current state is: passing
• rowex.0.0.1 on 5.3.0 is now installable. Current state is: passing
• shakuhachi.0.2.0 on 4.14.2 is now installable. Current state is: passing
• shakuhachi.0.2.0 on 5.3.0 is now installable. Current state is: passing
• smtml.0.20.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.20.0 on 5.3.0 is now installable. Current state is: passing
• styled-ppx.0.61.0 on 4.14.2 is now installable. Current state is: passing
• styled-ppx.0.61.0 on 5.3.0 is now installable. Current state is: passing
• unionFind.20220122 on 4.14.2 is now installable. Current state is: passing
• unionFind.20220122 on 5.3.0 is now installable. Current state is: passing
• volgo-base.0.0.22 on 5.3.0 is now installable. Current state is: passing
• volgo-git-backend.0.0.22 on 4.14.2 is now installable. Current state is: passing
• volgo-git-backend.0.0.22 on 5.3.0 is now installable. Current state is: passing
• volgo-git-eio.0.0.22 on 5.3.0 is now installable. Current state is: passing
• volgo-hg-backend.0.0.22 on 4.14.2 is now installable. Current state is: passing
• volgo-hg-backend.0.0.22 on 5.3.0 is now installable. Current state is: passing
• volgo-hg-eio.0.0.22 on 5.3.0 is now installable. Current state is: passing
• volgo.0.0.22 on 4.14.2 is now installable. Current state is: passing
• volgo.0.0.22 on 5.3.0 is now installable. Current state is: passing