Home|Differences with the last checks|Previous runs

Differences between d597696 and 340ee6f (git diff)

Packages now failing:

• profiler-plugin.1.30 on 4.14.2 had its build status changed: passing 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
• catala-lsp.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• catala-lsp.1.1.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
• 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
• 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
• 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
• 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
• mset.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• mset.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• react-rules-of-hooks-ppx.1.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• react-rules-of-hooks-ppx.1.0.0 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
• 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
• 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
• 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
• 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
• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: partially failing to 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
• gdbprofiler.0.4 on 4.14.2 had its build status changed: failing to 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
• letters.0.4.0 on 4.14.2 had its build status changed: internal failure to 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
• 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
• monolith.20250922 on 4.14.2 had its build status changed: internal failure to passing
• monolith.20250922 on 5.3.0 had its build status changed: internal failure to 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
• morbig.0.11.0 on 4.14.2 had its build status changed: internal failure to passing
• morbig.0.11.0 on 5.3.0 had its build status changed: internal failure to passing
• morsmall.0.2.0 on 4.14.2 had its build status changed: internal failure to passing
• morsmall.0.2.0 on 5.3.0 had its build status changed: internal failure to 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
• 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
• 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