Home
|
Differences with the last checks
|
Previous runs
Differences between
3dab8c7
and
fb96181
(
git diff
)
Packages now
failing
:
binsec.0.10.1
on
4.14
had its build status changed:
internal failure
to
failing
broken.0.4.2
on
5.3
had its build status changed:
partially failing
to
failing
catala-format.0.3.0
on
5.3
had its build status changed:
partially failing
to
failing
conf-asciidoc.1
on
4.14
had its build status changed:
internal failure
to
failing
frama-c.31.0
on
5.3
had its build status changed:
partially failing
to
failing
freetds.0.5.1
on
4.14
had its build status changed:
internal failure
to
failing
liquidsoap.2.3.3
on
4.14
had its build status changed:
partially failing
to
failing
liquidsoap.2.3.3
on
5.3
had its build status changed:
partially failing
to
failing
orb.1.0.0
on
4.14
had its build status changed:
partially failing
to
failing
Packages now
partially failing
:
activitypub_client.0.1.0
on
4.14
had its build status changed:
internal failure
to
partially failing
alt-ergo-plugin-ab-why3.2.6.2
on
5.3
had its build status changed:
passing
to
partially failing
alt-ergo.2.6.2
on
5.3
had its build status changed:
passing
to
partially failing
archsat.1.1
on
4.14
had its build status changed:
failing
to
partially failing
aws-s3-lwt.4.8.1
on
4.14
had its build status changed:
passing
to
partially failing
bigdecimal.v0.17.0
on
5.3
had its build status changed:
passing
to
partially failing
calculon-web.0.8
on
5.3
had its build status changed:
passing
to
partially failing
canary.0.0.1
on
5.3
had its build status changed:
passing
to
partially failing
caqti-mirage.2.2.4
on
5.3
had its build status changed:
passing
to
partially failing
catala-format.0.3.0
on
4.14
had its build status changed:
failing
to
partially failing
catala.0.8.0
on
4.14
had its build status changed:
passing
to
partially failing
cca.0.7
on
4.14
had its build status changed:
internal failure
to
partially failing
cohttp-lwt-unix.6.1.1
on
4.14
had its build status changed:
passing
to
partially failing
conduit-mirage.8.0.0
on
4.14
had its build status changed:
passing
to
partially failing
conduit-mirage.8.0.0
on
5.3
had its build status changed:
passing
to
partially failing
coqide.8.20.1
on
5.3
had its build status changed:
internal failure
to
partially failing
current_git.0.7.1
on
4.14
had its build status changed:
passing
to
partially failing
current_github.0.7.1
on
4.14
had its build status changed:
passing
to
partially failing
dblp-api.0.1.1
on
4.14
had its build status changed:
passing
to
partially failing
dblp.0.1.1
on
4.14
had its build status changed:
passing
to
partially failing
dkim-mirage.0.8.0
on
5.3
had its build status changed:
passing
to
partially failing
dkim.0.8.0
on
4.14
had its build status changed:
passing
to
partially failing
dns-certify.10.1.0
on
5.3
had its build status changed:
passing
to
partially failing
dns-stub.10.1.0
on
4.14
had its build status changed:
passing
to
partially failing
docker_hub.0.2.0
on
4.14
had its build status changed:
passing
to
partially failing
docteur-unix.0.0.7
on
4.14
had its build status changed:
passing
to
partially failing
doculib.1.3.5
on
4.14
had its build status changed:
internal failure
to
partially failing
dream-encoding.0.3.0
on
4.14
had its build status changed:
passing
to
partially failing
dream.1.0.0~alpha8
on
5.3
had its build status changed:
passing
to
partially failing
dropbox.0.2
on
4.14
had its build status changed:
passing
to
partially failing
dropbox_lwt_unix.0.2
on
4.14
had its build status changed:
passing
to
partially failing
equinoxe-hlc.0.2.0
on
5.3
had its build status changed:
passing
to
partially failing
extism.1.4.0
on
4.14
had its build status changed:
passing
to
partially failing
frama-clang.0.0.18~beta
on
5.3
had its build status changed:
internal failure
to
partially failing
fstar.2025.06.20
on
4.14
had its build status changed:
failing
to
partially failing
git-paf.3.18.0
on
4.14
had its build status changed:
passing
to
partially failing
git-paf.3.18.0
on
5.3
had its build status changed:
passing
to
partially failing
git-unix.3.18.0
on
4.14
had its build status changed:
passing
to
partially failing
gluten-mirage.0.5.2
on
4.14
had its build status changed:
passing
to
partially failing
http-mirage-client.0.0.10
on
4.14
had its build status changed:
passing
to
partially failing
ip2location.8.1.1
on
4.14
had its build status changed:
passing
to
partially failing
ip2locationio.1.1.0
on
4.14
had its build status changed:
passing
to
partially failing
ip2locationio.1.1.0
on
5.3
had its build status changed:
passing
to
partially failing
irmin-git.3.11.0
on
5.3
had its build status changed:
passing
to
partially failing
irmin-http.3.6.1
on
4.14
had its build status changed:
passing
to
partially failing
irmin-mirage-graphql.3.11.0
on
5.3
had its build status changed:
passing
to
partially failing
lablgtk3-goocanvas2.3.1.5
on
4.14
had its build status changed:
internal failure
to
partially failing
links-postgresql.0.9.8
on
4.14
had its build status changed:
internal failure
to
partially failing
links-sqlite3.0.9.8
on
5.3
had its build status changed:
internal failure
to
partially failing
lp-gurobi.0.5.0
on
5.3
had its build status changed:
passing
to
partially failing
mehari-mirage.0.4
on
4.14
had its build status changed:
passing
to
partially failing
mimic-happy-eyeballs.0.0.9
on
4.14
had its build status changed:
passing
to
partially failing
mimic-happy-eyeballs.0.0.9
on
5.3
had its build status changed:
passing
to
partially failing
mqtt.0.2.2
on
5.3
had its build status changed:
passing
to
partially failing
ocsigenserver.6.0.0
on
4.14
had its build status changed:
failing
to
partially failing
of_json.v0.17.0
on
5.3
had its build status changed:
internal failure
to
partially failing
ojs_base_ppx.0.8.0
on
5.3
had its build status changed:
passing
to
partially failing
ojs_ed.0.8.0
on
4.14
had its build status changed:
passing
to
partially failing
opam-0install.0.5.1
on
4.14
had its build status changed:
passing
to
partially failing
opam-client.2.4.1
on
4.14
had its build status changed:
passing
to
partially failing
opam-test.0.2.5
on
5.3
had its build status changed:
passing
to
partially failing
opentelemetry-client-cohttp-lwt.0.11.2
on
5.3
had its build status changed:
passing
to
partially failing
ortac-qcheck-stm.0.7.1
on
5.3
had its build status changed:
passing
to
partially failing
otoggl.0.3.2
on
4.14
had its build status changed:
passing
to
partially failing
pgx_lwt_mirage.2.2
on
5.3
had its build status changed:
passing
to
partially failing
pilat.1.6
on
4.14
had its build status changed:
internal failure
to
partially failing
prometheus-liquidsoap.2
on
4.14
had its build status changed:
passing
to
partially failing
publish.0.3.4+transition
on
4.14
had its build status changed:
passing
to
partially failing
publish.0.3.4+transition
on
5.3
had its build status changed:
passing
to
partially failing
rdf_json_ld.1.1.0
on
5.3
had its build status changed:
internal failure
to
partially failing
rdf_lwt.1.1.0
on
5.3
had its build status changed:
internal failure
to
partially failing
resp-mirage.0.11.0
on
4.14
had its build status changed:
passing
to
partially failing
resto-cohttp-self-serving-client.1.2
on
4.14
had its build status changed:
passing
to
partially failing
savvy.0.4.0
on
4.14
had its build status changed:
passing
to
partially failing
sihl-contract.0.2.1
on
4.14
had its build status changed:
passing
to
partially failing
sihl-core.0.3.0~rc1
on
5.3
had its build status changed:
passing
to
partially failing
sihl-type.0.2.1
on
5.3
had its build status changed:
passing
to
partially failing
slacko.0.15.0
on
5.3
had its build status changed:
passing
to
partially failing
solid_server.0.5.0
on
5.3
had its build status changed:
internal failure
to
partially failing
solid_tools.0.5.0
on
4.14
had its build status changed:
internal failure
to
partially failing
statocaml_changelog.0.1.0
on
4.14
had its build status changed:
internal failure
to
partially failing
statocaml_db.0.1.0
on
4.14
had its build status changed:
internal failure
to
partially failing
statocaml_github.0.1.0
on
5.3
had its build status changed:
internal failure
to
partially failing
statocaml_html.0.1.0
on
4.14
had its build status changed:
internal failure
to
partially failing
statocaml_plots.0.1.0
on
4.14
had its build status changed:
internal failure
to
partially failing
statocaml_plots.0.1.0
on
5.3
had its build status changed:
internal failure
to
partially failing
stog_server.1.1.0
on
5.3
had its build status changed:
passing
to
partially failing
telegraml.2.2.0
on
4.14
had its build status changed:
passing
to
partially failing
tezos-event-logging-test-helpers.12.3
on
4.14
had its build status changed:
internal failure
to
partially failing
tidy_email_mailgun.0.0.1
on
4.14
had its build status changed:
passing
to
partially failing
topkg-care.1.1.0
on
4.14
had its build status changed:
passing
to
partially failing
twirp_cohttp_lwt_unix.0.2
on
4.14
had its build status changed:
passing
to
partially failing
twirp_cohttp_lwt_unix.0.2
on
5.3
had its build status changed:
passing
to
partially failing
uspf-lwt.0.1.0
on
4.14
had its build status changed:
passing
to
partially failing
vscoq-language-server.2.2.6
on
4.14
had its build status changed:
passing
to
partially failing
wasm_of_ocaml-compiler.6.1.1
on
4.14
had its build status changed:
passing
to
partially failing
yocaml_git.1.0.0
on
4.14
had its build status changed:
passing
to
partially failing
zeit.0.1.0
on
5.3
had its build status changed:
passing
to
partially failing
Packages now
not available
:
Packages now failing with an
internal failure
:
current-web-pipelines.0.1
on
5.3
had its build status changed:
partially failing
to
internal failure
erssical.1.1.0
on
4.14
had its build status changed:
passing
to
internal failure
erssical.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
frama-c-luncov.0.2.4
on
4.14
had its build status changed:
partially failing
to
internal failure
graphql_jsoo_client.0.1.1
on
5.3
had its build status changed:
partially failing
to
internal failure
higlo.0.10.0
on
4.14
had its build status changed:
passing
to
internal failure
higlo.0.10.0
on
5.3
had its build status changed:
passing
to
internal failure
irmin-indexeddb.2.0
on
4.14
had its build status changed:
partially failing
to
internal failure
lambdapi.3.0.0
on
4.14
had its build status changed:
partially failing
to
internal failure
lib_parsing.1.12.0
on
4.14
had its build status changed:
partially failing
to
internal failure
links.0.9.8
on
4.14
had its build status changed:
partially failing
to
internal failure
memcad.1.1.0
on
4.14
had its build status changed:
partially failing
to
internal failure
ocaml-top.1.2.0
on
4.14
had its build status changed:
partially failing
to
internal failure
ojs_base_all.0.8.0
on
4.14
had its build status changed:
passing
to
internal failure
ojs_base_ppx.0.8.0
on
4.14
had its build status changed:
partially failing
to
internal failure
ojs_ed.0.8.0
on
5.3
had its build status changed:
partially failing
to
internal failure
ojs_filetree.0.8.0
on
4.14
had its build status changed:
passing
to
internal failure
ojs_list.0.8.0
on
4.14
had its build status changed:
passing
to
internal failure
osh.0.1
on
4.14
had its build status changed:
partially failing
to
internal failure
pacomb.1.3
on
5.3
had its build status changed:
passing
to
internal failure
rdf_json_ld.1.1.0
on
4.14
had its build status changed:
partially failing
to
internal failure
statocaml.0.1.0
on
4.14
had its build status changed:
partially failing
to
internal failure
statocaml.0.1.0
on
5.3
had its build status changed:
partially failing
to
internal failure
statocaml_changelog.0.1.0
on
5.3
had its build status changed:
partially failing
to
internal failure
statocaml_github.0.1.0
on
4.14
had its build status changed:
partially failing
to
internal failure
stog.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_all.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_asy.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_dot.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_extern.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_markdown.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_multi_doc.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_nocaml.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_noexec.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_plugins.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_rel_href.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_sitemap.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
stog_writing.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
unison-gui.2.53.4
on
5.3
had its build status changed:
partially failing
to
internal failure
xtmpl.1.1.0
on
4.14
had its build status changed:
passing
to
internal failure
xtmpl.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
xtmpl_js.1.1.0
on
4.14
had its build status changed:
passing
to
internal failure
xtmpl_js.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
xtmpl_ppx.1.1.0
on
4.14
had its build status changed:
passing
to
internal failure
xtmpl_ppx.1.1.0
on
5.3
had its build status changed:
passing
to
internal failure
Packages now
passing
:
alt-ergo-lib.2.6.2
on
4.14
had its build status changed:
partially failing
to
passing
alt-ergo-parsers.2.6.2
on
4.14
had its build status changed:
partially failing
to
passing
alt-ergo-plugin-ab-why3.2.6.2
on
4.14
had its build status changed:
partially failing
to
passing
bin_tree.0.1
on
4.14
had its build status changed:
internal failure
to
passing
builder.0.4.0
on
4.14
had its build status changed:
partially failing
to
passing
catala.0.8.0
on
5.3
had its build status changed:
partially failing
to
passing
cohttp-mirage.6.1.1
on
4.14
had its build status changed:
partially failing
to
passing
coq-lsp.0.2.3+9.0
on
4.14
had its build status changed:
partially failing
to
passing
current-web-pipelines.0.1
on
4.14
had its build status changed:
partially failing
to
passing
current_docker.0.7.1
on
4.14
had its build status changed:
partially failing
to
passing
current_github.0.7.1
on
5.3
had its build status changed:
partially failing
to
passing
current_slack.0.7.1
on
4.14
had its build status changed:
partially failing
to
passing
current_slack.0.7.1
on
5.3
had its build status changed:
partially failing
to
passing
dblp-api.0.1.1
on
5.3
had its build status changed:
partially failing
to
passing
dblp.0.1.1
on
5.3
had its build status changed:
partially failing
to
passing
dkim-lwt-unix.0.8.0
on
4.14
had its build status changed:
partially failing
to
passing
dns-certify.10.1.0
on
4.14
had its build status changed:
partially failing
to
passing
dns-client-lwt.10.1.0
on
5.3
had its build status changed:
partially failing
to
passing
dns-client-mirage.10.1.0
on
4.14
had its build status changed:
partially failing
to
passing
docteur-unix.0.0.7
on
5.3
had its build status changed:
partially failing
to
passing
docteur.0.0.7
on
4.14
had its build status changed:
partially failing
to
passing
doi2bib.0.7.6
on
4.14
had its build status changed:
partially failing
to
passing
dolmen_model.0.10
on
4.14
had its build status changed:
partially failing
to
passing
dolmen_model.0.10
on
5.3
had its build status changed:
partially failing
to
passing
dream-accept.0.1.0
on
4.14
had its build status changed:
partially failing
to
passing
dream-accept.0.1.0
on
5.3
had its build status changed:
partially failing
to
passing
dream-cli.0.2.0
on
5.3
had its build status changed:
partially failing
to
passing
dream-html.3.11.1
on
4.14
had its build status changed:
partially failing
to
passing
dream-html.3.11.1
on
5.3
had its build status changed:
partially failing
to
passing
dream-htmx.0.1.0
on
4.14
had its build status changed:
partially failing
to
passing
dream-htmx.0.1.0
on
5.3
had its build status changed:
partially failing
to
passing
dream-inertia.0.0.1
on
5.3
had its build status changed:
partially failing
to
passing
dream-livereload.0.2.0
on
4.14
had its build status changed:
partially failing
to
passing
dream_middleware_ext.0.1.0
on
4.14
had its build status changed:
partially failing
to
passing
dream_middleware_ext.0.1.0
on
5.3
had its build status changed:
partially failing
to
passing
dropbox_lwt_unix.0.2
on
5.3
had its build status changed:
partially failing
to
passing
fsevents-lwt.0.3.0
on
4.14
had its build status changed:
partially failing
to
passing
git-unix.3.18.0
on
5.3
had its build status changed:
partially failing
to
passing
gitlab-unix.0.1.8
on
4.14
had its build status changed:
partially failing
to
passing
gitlab-unix.0.1.8
on
5.3
had its build status changed:
partially failing
to
passing
h2-mirage.0.13.0
on
5.3
had its build status changed:
partially failing
to
passing
http-lwt-client.0.3.2
on
4.14
had its build status changed:
partially failing
to
passing
httpcats.0.0.1
on
5.3
had its build status changed:
partially failing
to
passing
httpun-mirage.0.2.0
on
4.14
had its build status changed:
partially failing
to
passing
httpun-mirage.0.2.0
on
5.3
had its build status changed:
partially failing
to
passing
httpun-ws-mirage.0.2.0
on
5.3
had its build status changed:
partially failing
to
passing
ip2location.8.1.1
on
5.3
had its build status changed:
partially failing
to
passing
irmin-graphql.3.11.0
on
5.3
had its build status changed:
partially failing
to
passing
irmin-mirage-git.3.11.0
on
5.3
had its build status changed:
partially failing
to
passing
lab.0.1.8
on
5.3
had its build status changed:
partially failing
to
passing
letsencrypt-app.1.1.0
on
5.3
had its build status changed:
partially failing
to
passing
letsencrypt-mirage.1.1.0
on
5.3
had its build status changed:
partially failing
to
passing
letters.0.4.0
on
5.3
had its build status changed:
partially failing
to
passing
mechaml.1.2.1
on
4.14
had its build status changed:
partially failing
to
passing
mehari-lwt-unix.0.4
on
5.3
had its build status changed:
partially failing
to
passing
mehari-mirage.0.4
on
5.3
had its build status changed:
partially failing
to
passing
mirage.4.9.0
on
4.14
had its build status changed:
partially failing
to
passing
nbd-tool.6.0.1
on
5.3
had its build status changed:
partially failing
to
passing
odep.0.2.1
on
5.3
had its build status changed:
partially failing
to
passing
odoc-driver.3.1.0
on
5.3
had its build status changed:
partially failing
to
passing
opam-build.0.2.5
on
5.3
had its build status changed:
partially failing
to
passing
opam-dune-lint.0.6
on
4.14
had its build status changed:
partially failing
to
passing
opam-installer.2.4.1
on
5.3
had its build status changed:
partially failing
to
passing
opam-publish.2.5.1
on
5.3
had its build status changed:
partially failing
to
passing
opam-test.0.2.5
on
4.14
had its build status changed:
partially failing
to
passing
opentelemetry-client-cohttp-lwt.0.11.2
on
4.14
had its build status changed:
partially failing
to
passing
ortac-wrapper.0.7.1
on
4.14
had its build status changed:
partially failing
to
passing
paf-cohttp.0.8.0
on
4.14
had its build status changed:
partially failing
to
passing
paf-cohttp.0.8.0
on
5.3
had its build status changed:
partially failing
to
passing
parsley.0.0.1
on
4.14
had its build status changed:
partially failing
to
passing
pgx_lwt_mirage.2.2
on
4.14
had its build status changed:
partially failing
to
passing
prbnmcn-proptest.0.0.1
on
5.3
had its build status changed:
partially failing
to
passing
prometheus-app.1.2
on
4.14
had its build status changed:
partially failing
to
passing
prometheus-app.1.2
on
5.3
had its build status changed:
partially failing
to
passing
quests.0.1.3
on
4.14
had its build status changed:
partially failing
to
passing
resp-mirage.0.11.0
on
5.3
had its build status changed:
partially failing
to
passing
river.0.4
on
4.14
had its build status changed:
partially failing
to
passing
savvy.0.4.0
on
5.3
had its build status changed:
partially failing
to
passing
sendmail-lwt.0.12.0
on
4.14
had its build status changed:
partially failing
to
passing
sendmail-mirage.0.12.0
on
4.14
had its build status changed:
partially failing
to
passing
sendmail-mirage.0.12.0
on
5.3
had its build status changed:
partially failing
to
passing
sihl-user.0.2.1
on
4.14
had its build status changed:
partially failing
to
passing
sihl-user.0.2.1
on
5.3
had its build status changed:
partially failing
to
passing
sihl-web.0.2.1
on
4.14
had its build status changed:
partially failing
to
passing
sihl.0.2.1
on
4.14
had its build status changed:
partially failing
to
passing
solidity-alcotest.0.2.0
on
4.14
had its build status changed:
partially failing
to
passing
spotify-web-api.0.2.1
on
5.3
had its build status changed:
partially failing
to
passing
terminus-hlc.0.1.0
on
4.14
had its build status changed:
partially failing
to
passing
tidy_email_sendgrid.0.0.1
on
5.3
had its build status changed:
partially failing
to
passing
tidy_email_smtp.0.0.1
on
5.3
had its build status changed:
partially failing
to
passing
tldr.0.3.0
on
4.14
had its build status changed:
partially failing
to
passing
tldr.0.3.0
on
5.3
had its build status changed:
partially failing
to
passing
uspf-mirage.0.1.0
on
5.3
had its build status changed:
partially failing
to
passing
websocket-lwt.2.12
on
4.14
had its build status changed:
partially failing
to
passing
yocaml_git.1.0.0
on
5.3
had its build status changed:
partially failing
to
passing
zeit.0.1.0
on
4.14
had its build status changed:
partially failing
to
passing
Home|Differences with the last checks|Previous runs Home|Differences with the last checks|Previous runs