Home|Differences with the last checks|Previous runs

Differences between a4349cb and 7b4cedd (git diff)

Packages now failing:

• frama-c.28.0~beta on 4.14.1 is now installable. Current state is: failing
• frama-c.28.0~beta on 5.1.0 is now installable. Current state is: failing
• lbfgs.0.9.5 on 4.14.1 is now installable. Current state is: failing
• lbfgs.0.9.5 on 5.1.0 is now installable. Current state is: failing
• lbvs_consent.2.1.2 on 4.14.1 had its build status changed: partially failing to failing
• lbvs_consent.2.2.0 on 5.1.0 had its build status changed: partially failing to failing
• oranger.4.3.5 on 4.14.1 had its build status changed: partially failing to failing
• oranger.4.3.5 on 5.1.0 had its build status changed: partially failing to failing

Packages now partially failing:

• octez-accuser-Proxford.18.0 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-accuser-PtLimaPt.16.1 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-accuser-PtMumbai.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-accuser-PtNairob.18.0 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-baker-Proxford.18.0 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-baker-PtLimaPt.16.1 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-baker-PtMumbai.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-baker-PtNairob.18.0 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-client.18.0 on 4.14.1 had its build status changed: internal failure to partially failing
• octez-codec.18.0 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-client-011-PtHangz2.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-004-Pt24m4xi.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-005-PsBABY5H.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-005-PsBabyM1.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-006-PsCARTHA.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-007-PsDELPH1.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-008-PtEdo2Zk.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-008-PtEdoTez.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-009-PsFLoren.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-011-PtHangz2.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-013-PtJakart.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-014-PtKathma.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-embedded-protocol-015-PtLimaPt.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-store.17.3 on 4.14.1 had its build status changed: internal failure to partially failing
• tezos-tx-rollup-015-PtLimaPt.16.1 on 4.14.1 had its build status changed: internal failure to partially failing

Packages now not available:

• alt-ergo-lib.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo-lib.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo-parsers.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo-plugin-ab-why3.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
• alt-ergo.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
• alt-ergo.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
• asai.0.1.1 on 5.1.0 is not available anymore. Previous state was: passing
• atd.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atd.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdd.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdd.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdgen-codec-runtime.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdgen-runtime.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdgen-runtime.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdgen.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdgen.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdj.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdj.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdpy.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdpy.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atds.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atds.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• atdts.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
• atdts.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
• bwd.2.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• bwd.2.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• cairo2-gtk.0.6.4 on 5.1.0 had its build status changed: partially failing to not available
• cairo2-pango.0.6.4 on 5.1.0 had its build status changed: partially failing to not available
• codept.0.11.1 on 4.14.1 is not available anymore. Previous state was: passing
• coq-lsp.0.1.7+8.18 on 4.14.1 is not available anymore. Previous state was: passing
• coq-lsp.0.1.7+8.18 on 5.1.0 is not available anymore. Previous state was: passing
• dream-html.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• dream-html.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• elpi.1.17.4 on 4.14.1 is not available anymore. Previous state was: passing
• elpi.1.17.4 on 5.1.0 is not available anymore. Previous state was: passing
• fmlib.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
• fmlib.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
• fmlib_browser.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
• fmlib_browser.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
• fmlib_js.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
• fmlib_js.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
• fmlib_parse.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
• fmlib_parse.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
• fmlib_pretty.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
• fmlib_pretty.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
• fmlib_std.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
• fmlib_std.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
• forester.2.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• frama-c.27.1 on 4.14.1 is not available anymore. Previous state was: failing
• frama-c.27.1 on 5.1.0 is not available anymore. Previous state was: failing
• gluten-async.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
• gluten-async.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• gluten-eio.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• gluten-lwt-unix.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
• gluten-lwt-unix.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• gluten-lwt.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
• gluten-lwt.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• gluten-mirage.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
• gluten-mirage.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• gluten.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
• gluten.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
• grpc-async.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• grpc-async.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• grpc-lwt.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• grpc-lwt.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• grpc.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
• grpc.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
• lablgtk.2.18.13 on 5.1.0 had its build status changed: partially failing to not available
• lbfgs.0.9.3 on 4.14.1 is not available anymore. Previous state was: failing
• lbfgs.0.9.3 on 5.1.0 is not available anymore. Previous state was: failing
• libbinaryen.113.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• libbinaryen.113.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• melange.2.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• mirage-logs.2.0.0 on 4.14.1 is not available anymore. Previous state was: passing
• mirage-logs.2.0.0 on 5.1.0 is not available anymore. Previous state was: passing
• ocamlgraph_gtk.2.0.0 on 5.1.0 had its build status changed: passing to not available
• odoc-parser.2.3.0 on 4.14.1 is not available anymore. Previous state was: passing
• odoc-parser.2.3.0 on 5.1.0 is not available anymore. Previous state was: passing
• odoc.2.3.0 on 4.14.1 is not available anymore. Previous state was: passing
• odoc.2.3.0 on 5.1.0 is not available anymore. Previous state was: passing
• opam-dune-lint.0.2 on 4.14.1 is not available anymore. Previous state was: passing
• opam-publish.2.2.0 on 4.14.1 is not available anymore. Previous state was: passing
• opam-publish.2.2.0 on 5.1.0 is not available anymore. Previous state was: passing
• openstellina.0.0.3 on 5.1.0 had its build status changed: partially failing to not available
• pds-reachability.0.2.2 on 4.14.1 is not available anymore. Previous state was: passing
• printbox-html.0.6.1 on 4.14.1 is not available anymore. Previous state was: passing
• printbox-html.0.6.1 on 5.1.0 is not available anymore. Previous state was: passing
• printbox-text.0.6.1 on 4.14.1 is not available anymore. Previous state was: passing
• printbox-text.0.6.1 on 5.1.0 is not available anymore. Previous state was: passing
• printbox.0.6.1 on 4.14.1 is not available anymore. Previous state was: passing
• printbox.0.6.1 on 5.1.0 is not available anymore. Previous state was: passing
• proverif.2.04 on 4.14.1 is not available anymore. Previous state was: partially failing
• proverif.2.04 on 5.1.0 is not available anymore. Previous state was: partially failing
• proverifdoc.2.04 on 4.14.1 is not available anymore. Previous state was: passing
• proverifdoc.2.04 on 5.1.0 is not available anymore. Previous state was: passing
• redis-lwt.0.7 on 4.14.1 is not available anymore. Previous state was: passing
• redis-lwt.0.7 on 5.1.0 is not available anymore. Previous state was: passing
• redis-sync.0.7 on 4.14.1 is not available anymore. Previous state was: passing
• redis-sync.0.7 on 5.1.0 is not available anymore. Previous state was: passing
• redis.0.7 on 4.14.1 is not available anymore. Previous state was: passing
• redis.0.7 on 5.1.0 is not available anymore. Previous state was: passing
• xapi-stdext-date.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
• xapi-stdext-date.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
• xapi-stdext-encodings.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
• xapi-stdext-encodings.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
• xapi-stdext-pervasives.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
• xapi-stdext-pervasives.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
• xapi-stdext-std.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
• xapi-stdext-std.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
• xapi-stdext-threads.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
• xapi-stdext-threads.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
• xapi-stdext-zerocheck.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
• xapi-stdext-zerocheck.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
• zelus-gtk.2.2 on 5.1.0 had its build status changed: partially failing to not available

Packages now failing with an internal failure:

• canary.0.0.1 on 5.1.0 had its build status changed: passing to internal failure
• dune-rpc.3.11.1 on 4.14.1 had its build status changed: passing to internal failure
• monocypher.0.1.0 on 5.1.0 had its build status changed: passing to internal failure
• proverif.1.97pl3 on 4.14.1 is now installable. Current state is: internal failure
• proverif.1.97pl3 on 5.1.0 is now installable. Current state is: internal failure
• tezos-baking-013-PtJakart.14.0 on 4.14.1 had its build status changed: passing to internal failure
• tezos-baking-014-PtKathma-commands.15.1 on 4.14.1 had its build status changed: passing to internal failure

Packages now passing:

• 0install-gtk.2.18 on 4.14.1 had its build status changed: partially failing to passing
• alt-ergo-lib.2.5.2 on 4.14.1 is now installable. Current state is: passing
• alt-ergo-lib.2.5.2 on 5.1.0 is now installable. Current state is: passing
• alt-ergo-parsers.2.5.2 on 4.14.1 is now installable. Current state is: passing
• alt-ergo-parsers.2.5.2 on 5.1.0 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.5.2 on 4.14.1 is now installable. Current state is: passing
• alt-ergo-plugin-ab-why3.2.5.2 on 5.1.0 is now installable. Current state is: passing
• alt-ergo.2.5.2 on 4.14.1 is now installable. Current state is: passing
• alt-ergo.2.5.2 on 5.1.0 is now installable. Current state is: passing
• asai.0.2.0 on 5.1.0 is now installable. Current state is: passing
• asak.0.4 on 4.14.1 is now installable. Current state is: passing
• asli.0.2.0 on 4.14.1 had its build status changed: partially failing to passing
• atd.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atd.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdd.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdd.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdgen-codec-runtime.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdgen-codec-runtime.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdgen-runtime.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdgen-runtime.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdgen.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdgen.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdj.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdj.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdpy.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdpy.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atds.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atds.2.15.0 on 5.1.0 is now installable. Current state is: passing
• atdts.2.15.0 on 4.14.1 is now installable. Current state is: passing
• atdts.2.15.0 on 5.1.0 is now installable. Current state is: passing
• bimage-gtk.0.2.1 on 4.14.1 had its build status changed: partially failing to passing
• bimage-gtk.0.2.1 on 5.1.0 had its build status changed: partially failing to passing
• bls12-381-unix.2.0.1 on 5.1.0 had its build status changed: partially failing to passing
• bwd.2.3.0 on 4.14.1 is now installable. Current state is: passing
• bwd.2.3.0 on 5.1.0 is now installable. Current state is: passing
• cairo2-gtk.0.6.4 on 4.14.1 had its build status changed: partially failing to passing
• cairo2-pango.0.6.4 on 4.14.1 had its build status changed: partially failing to passing
• coccinelle.1.1.1 on 4.14.1 had its build status changed: partially failing to passing
• codept.0.12.0 on 4.14.1 is now installable. Current state is: passing
• codept.0.12.0 on 5.1.0 is now installable. Current state is: passing
• conf-gnutls.1 on 4.14.1 had its build status changed: failing to passing
• conf-gnutls.1 on 5.1.0 had its build status changed: failing to passing
• conf-gtk2.1 on 4.14.1 had its build status changed: failing to passing
• conf-gtk2.1 on 5.1.0 had its build status changed: failing to passing
• conf-gtk3.18 on 4.14.1 had its build status changed: failing to passing
• conf-gtk3.18 on 5.1.0 had its build status changed: failing to passing
• conf-python-3.9.0.0 on 4.14.1 had its build status changed: failing to passing
• conf-python-3.9.0.0 on 5.1.0 had its build status changed: failing to passing
• conf-rdkit.1 on 4.14.1 had its build status changed: failing to passing
• conf-rdkit.1 on 5.1.0 had its build status changed: failing to passing
• coq-lsp.0.1.8+8.18 on 4.14.1 is now installable. Current state is: passing
• coq-lsp.0.1.8+8.18 on 5.1.0 is now installable. Current state is: passing
• diff.1.0.2 on 4.14.1 is now installable. Current state is: passing
• diff.1.0.2 on 5.1.0 is now installable. Current state is: passing
• doculib.1.3.5 on 4.14.1 had its build status changed: partially failing to passing
• doculib.1.3.5 on 5.1.0 had its build status changed: partially failing to passing
• dream-html.1.1.0 on 4.14.1 is now installable. Current state is: passing
• dream-html.1.1.0 on 5.1.0 is now installable. Current state is: passing
• elpi.1.18.0 on 4.14.1 is now installable. Current state is: passing
• elpi.1.18.0 on 5.1.0 is now installable. Current state is: passing
• fasmifra.1.1.0 on 4.14.1 had its build status changed: partially failing to passing
• fasmifra.1.1.0 on 5.1.0 had its build status changed: partially failing to passing
• fmlib.0.5.6 on 4.14.1 is now installable. Current state is: passing
• fmlib.0.5.6 on 5.1.0 is now installable. Current state is: passing
• fmlib_browser.0.5.6 on 4.14.1 is now installable. Current state is: passing
• fmlib_browser.0.5.6 on 5.1.0 is now installable. Current state is: passing
• fmlib_js.0.5.6 on 4.14.1 is now installable. Current state is: passing
• fmlib_js.0.5.6 on 5.1.0 is now installable. Current state is: passing
• fmlib_parse.0.5.6 on 4.14.1 is now installable. Current state is: passing
• fmlib_parse.0.5.6 on 5.1.0 is now installable. Current state is: passing
• fmlib_pretty.0.5.6 on 4.14.1 is now installable. Current state is: passing
• fmlib_pretty.0.5.6 on 5.1.0 is now installable. Current state is: passing
• fmlib_std.0.5.6 on 4.14.1 is now installable. Current state is: passing
• fmlib_std.0.5.6 on 5.1.0 is now installable. Current state is: passing
• forester.2.5 on 5.1.0 is now installable. Current state is: passing
• gluten-async.0.5.0 on 4.14.1 is now installable. Current state is: passing
• gluten-async.0.5.0 on 5.1.0 is now installable. Current state is: passing
• gluten-eio.0.5.0 on 5.1.0 is now installable. Current state is: passing
• gluten-lwt-unix.0.5.0 on 4.14.1 is now installable. Current state is: passing
• gluten-lwt-unix.0.5.0 on 5.1.0 is now installable. Current state is: passing
• gluten-lwt.0.5.0 on 4.14.1 is now installable. Current state is: passing
• gluten-lwt.0.5.0 on 5.1.0 is now installable. Current state is: passing
• gluten-mirage.0.5.0 on 4.14.1 is now installable. Current state is: passing
• gluten-mirage.0.5.0 on 5.1.0 is now installable. Current state is: passing
• gluten.0.5.0 on 4.14.1 is now installable. Current state is: passing
• gluten.0.5.0 on 5.1.0 is now installable. Current state is: passing
• grpc-async.0.2.0 on 4.14.1 is now installable. Current state is: passing
• grpc-async.0.2.0 on 5.1.0 is now installable. Current state is: passing
• grpc-bench.0.2.0 on 4.14.1 is now installable. Current state is: passing
• grpc-bench.0.2.0 on 5.1.0 is now installable. Current state is: passing
• grpc-eio.0.2.0 on 5.1.0 is now installable. Current state is: passing
• grpc-examples.0.2.0 on 5.1.0 is now installable. Current state is: passing
• grpc-lwt.0.2.0 on 4.14.1 is now installable. Current state is: passing
• grpc-lwt.0.2.0 on 5.1.0 is now installable. Current state is: passing
• grpc.0.2.0 on 4.14.1 is now installable. Current state is: passing
• grpc.0.2.0 on 5.1.0 is now installable. Current state is: passing
• kmt.0.1 on 4.14.1 had its build status changed: partially failing to passing
• kmt.0.1 on 5.1.0 had its build status changed: partially failing to passing
• lablgtk.2.18.13 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3.3.1.3 on 4.14.1 had its build status changed: partially failing to passing
• lablgtk3.3.1.3 on 5.1.0 had its build status changed: partially failing to passing
• libbinaryen.114.0.0 on 4.14.1 is now installable. Current state is: passing
• libbinaryen.114.0.0 on 5.1.0 is now installable. Current state is: passing
• melange-atdgen-codec-runtime.1.0.0 on 5.1.0 is now installable. Current state is: passing
• melange-moment.0.3.0 on 5.1.0 is now installable. Current state is: passing
• melange-react-dates.1.4.0 on 5.1.0 is now installable. Current state is: passing
• melange-recharts.4.0.0 on 5.1.0 is now installable. Current state is: passing
• melange.2.1.0 on 5.1.0 is now installable. Current state is: passing
• mirage-logs.2.1.0 on 4.14.1 is now installable. Current state is: passing
• mirage-logs.2.1.0 on 5.1.0 is now installable. Current state is: passing
• mjson.0.1.1 on 4.14.1 is now installable. Current state is: passing
• mjson.0.1.1 on 5.1.0 is now installable. Current state is: passing
• molenc.16.13.0 on 4.14.1 had its build status changed: partially failing to passing
• molenc.16.17.1 on 5.1.0 had its build status changed: partially failing to passing
• nocrypto.0.5.4-2 on 5.1.0 had its build status changed: internal failure to passing
• ocaml-sat-solvers.0.7.1 on 4.14.1 had its build status changed: partially failing to passing
• ocamlformat-lib.0.26.1 on 4.14.1 had its build status changed: partially failing to passing
• octez-baker-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
• octez-tx-rollup-client-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
• octez-tx-rollup-node-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
• odoc-parser.2.3.1 on 4.14.1 is now installable. Current state is: passing
• odoc-parser.2.3.1 on 5.1.0 is now installable. Current state is: passing
• odoc.2.3.1 on 4.14.1 is now installable. Current state is: passing
• odoc.2.3.1 on 5.1.0 is now installable. Current state is: passing
• opam-dune-lint.0.3 on 4.14.1 is now installable. Current state is: passing
• opam-dune-lint.0.3 on 5.1.0 is now installable. Current state is: passing
• opam-publish.2.3.0 on 4.14.1 is now installable. Current state is: passing
• opam-publish.2.3.0 on 5.1.0 is now installable. Current state is: passing
• openstellina.0.0.3 on 4.14.1 had its build status changed: partially failing to passing
• ortac-core.0.1.0 on 4.14.1 is now installable. Current state is: passing
• ortac-core.0.1.0 on 5.1.0 is now installable. Current state is: passing
• ortac-qcheck-stm.0.1.0 on 4.14.1 is now installable. Current state is: passing
• ortac-qcheck-stm.0.1.0 on 5.1.0 is now installable. Current state is: passing
• ortac-runtime.0.1.0 on 4.14.1 is now installable. Current state is: passing
• ortac-runtime.0.1.0 on 5.1.0 is now installable. Current state is: passing
• pds-reachability.0.2.3 on 4.14.1 is now installable. Current state is: passing
• pds-reachability.0.2.3 on 5.1.0 is now installable. Current state is: passing
• printbox-html.0.7 on 4.14.1 is now installable. Current state is: passing
• printbox-html.0.7 on 5.1.0 is now installable. Current state is: passing
• printbox-text.0.7 on 4.14.1 is now installable. Current state is: passing
• printbox-text.0.7 on 5.1.0 is now installable. Current state is: passing
• printbox.0.7 on 4.14.1 is now installable. Current state is: passing
• printbox.0.7 on 5.1.0 is now installable. Current state is: passing
• proverif.2.05 on 4.14.1 is now installable. Current state is: passing
• proverifdoc.2.05 on 4.14.1 is now installable. Current state is: passing
• proverifdoc.2.05 on 5.1.0 is now installable. Current state is: passing
• redis-lwt.0.7.1 on 4.14.1 is now installable. Current state is: passing
• redis-lwt.0.7.1 on 5.1.0 is now installable. Current state is: passing
• redis-sync.0.7.1 on 4.14.1 is now installable. Current state is: passing
• redis-sync.0.7.1 on 5.1.0 is now installable. Current state is: passing
• redis.0.7.1 on 4.14.1 is now installable. Current state is: passing
• redis.0.7.1 on 5.1.0 is now installable. Current state is: passing
• reshowcase.5.3.0 on 5.1.0 is now installable. Current state is: passing
• tezos-baker-014-PtKathma.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-injector-013-PtJakart.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-injector-014-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
• tezos-injector-alpha.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-stdlib.17.3 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-013-PtJakart.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-014-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-alpha.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-client-013-PtJakart.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-client-014-PtKathma.14.0 on 4.14.1 had its build status changed: partially failing to passing
• tezos-tx-rollup-client-alpha.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-node-013-PtJakart.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-node-014-PtKathma.14.0 on 4.14.1 had its build status changed: internal failure to passing
• tezos-tx-rollup-node-alpha.14.0 on 4.14.1 had its build status changed: internal failure to passing
• thread-local-storage.0.1 on 4.14.1 is now installable. Current state is: passing
• thread-local-storage.0.1 on 5.1.0 is now installable. Current state is: passing
• travesty.0.8.0 on 5.1.0 is now installable. Current state is: passing
• unison.2.53.3 on 4.14.1 had its build status changed: partially failing to passing
• unison.2.53.3 on 5.1.0 had its build status changed: partially failing to passing
• universo.2.7 on 4.14.1 had its build status changed: partially failing to passing
• universo.2.7 on 5.1.0 had its build status changed: partially failing to passing
• xapi-stdext-date.4.23.0 on 4.14.1 is now installable. Current state is: passing
• xapi-stdext-date.4.23.0 on 5.1.0 is now installable. Current state is: passing
• xapi-stdext-encodings.4.23.0 on 4.14.1 is now installable. Current state is: passing
• xapi-stdext-encodings.4.23.0 on 5.1.0 is now installable. Current state is: passing
• xapi-stdext-pervasives.4.23.0 on 4.14.1 is now installable. Current state is: passing
• xapi-stdext-pervasives.4.23.0 on 5.1.0 is now installable. Current state is: passing
• xapi-stdext-std.4.23.0 on 4.14.1 is now installable. Current state is: passing
• xapi-stdext-std.4.23.0 on 5.1.0 is now installable. Current state is: passing
• xapi-stdext-threads.4.23.0 on 4.14.1 is now installable. Current state is: passing
• xapi-stdext-threads.4.23.0 on 5.1.0 is now installable. Current state is: passing
• xapi-stdext-zerocheck.4.23.0 on 4.14.1 is now installable. Current state is: passing
• xapi-stdext-zerocheck.4.23.0 on 5.1.0 is now installable. Current state is: passing
• z3.4.12.2-1 on 4.14.1 had its build status changed: partially failing to passing
• z3.4.12.2-1 on 5.1.0 had its build status changed: partially failing to passing
• z3_tptp.4.11.2 on 4.14.1 had its build status changed: partially failing to passing
• z3_tptp.4.11.2 on 5.1.0 had its build status changed: partially failing to passing
• zelus-gtk.2.2 on 4.14.1 had its build status changed: partially failing to passing