Home|Differences with the last checks|Previous runs Home|Differences with the last checks|Previous runs| 5.3 | number of revdeps | |
|---|---|---|
| ANSITerminal.0.8.5 | ☑ | 24 |
| aacplus.0.2.2 | ☑ | -1 |
| abella.2.0.8 | ☑ | 0 |
| absolute.0.3 | ☒ | 0 |
| abstract_algebra.v0.17.0 | ☑ | 7 |
| accessor.v0.17.0 | ☒ | 4 |
| accessor_async.v0.17.0 | ☑ | 0 |
| accessor_base.v0.17.0 | ☒ | 2 |
| accessor_core.v0.17.0 | ☒ | 1 |
| acgtk.2.1.0 | ☑ | 0 |
| aches.1.1.0 | ☑ | 243 |
| aches-lwt.1.1.0 | ☑ | 231 |
| acp4.1.0.1 | ☒ | 0 |
| acpc.2.0.0 | ☑ | 0 |
| adelfa.0.1 | ☑ | 0 |
| adobe_font_metrics.1.0.0 | ☑ | 0 |
| afl.2.57b | ☑ | -1 |
| afl-persistent.1.4 | ☑ | 27 |
| ago.0.3 | ☑ | -1 |
| agrid.0.1 | ☑ | 1 |
| ahrocksdb.0.2.2 | ☒ | 0 |
| alba.0.4.4 | ☒ | 0 |
| albatross.2.4.1 | ☑ | 0 |
| alcotest.1.8.0 | ☒ | 833 |
| alcotest-async.1.8.0 | ☒ | 5 |
| alcotest-js.1.8.0 | ☒ | 0 |
| alcotest-lwt.1.8.0 | ☒ | 126 |
| alcotest-mirage.1.8.0 | ☒ | 0 |
| alg_structs.0.1.3 | ☒ | 1 |
| alg_structs_qcheck.0.1.3 | ☒ | 0 |
| algaeff.2.0.0 | ☑ | 3 |
| allegro5.0.1 | ☑ | 0 |
| alonzo.0.4.0 | ☑ | 0 |
| alsa.0.3.0 | ☑ | 6 |
| alt-ergo.2.6.0 | ☒ | 8 |
| alt-ergo-lib.2.6.0 | ☒ | 11 |
| alt-ergo-parsers.2.6.0 | ☒ | 8 |
| alt-ergo-plugin-ab-why3.2.6.0 | ☒ | 0 |
| altgr-ergo.2.4.3 | ☒ | 0 |
| ambient-context.0.1.0 | ☑ | 12 |
| ambient-context-eio.0.1.0 | ☑ | 0 |
| ambient-context-lwt.0.1.0 | ☑ | 0 |
| amqp-client.2.3.0 | ☒ | 2 |
| amqp-client-async.2.3.0 | ☒ | 0 |
| amqp-client-lwt.2.3.0 | ☒ | 0 |
| anders.1.1.1 | ☑ | 0 |
| angstrom.0.16.1 | ☒ | 3977 |
| angstrom-async.0.16.1 | ☒ | 3 |
| angstrom-lwt-unix.0.16.1 | ☒ | 3 |
| angstrom-unix.0.16.1 | ☒ | 6 |
| ansi.0.7.0 | ☑ | 5 |
| ansi-parse.0.4.0 | ☒ | 0 |
| ansicolor.0.5 | ☑ | -1 |
| ansifmt.0.2.0 | ☑ | -1 |
| antic.0.4.0 | ☒ | 4 |
| anycache.0.6.0 | ☑ | -1 |
| ao.0.2.4 | ☑ | 6 |
| apron.v0.9.15 | ☑ | -1 |
| apronext.1.0.4 | ☒ | 3 |
| arb.0.4.0 | ☒ | 4 |
| archetype.1.5.3 | ☑ | 0 |
| archi.0.2.0 | ☒ | 2 |
| archi-async.0.2.0 | ☒ | 0 |
| archi-lwt.0.2.0 | ☒ | 0 |
| areas-and-adversaries.1.0 | ☑ | -1 |
| arg-complete.0.2.1 | ☑ | 2 |
| argon2.1.0.2 | ☒ | 2 |
| argsh.0.1.0 | ☑ | 0 |
| arp.4.0.0 | ☑ | 88 |
| arrakis.1.0.0 | ☒ | 0 |
| arrayjit.0.4.1 | ☒ | 1 |
| art.0.2.0 | ☒ | 3 |
| ascend.0.1.2-1 | ☑ | 0 |
| ascii85.0.3 | ☑ | -1 |
| asetmap.0.8.1 | ☑ | -1 |
| ask.0.2.0 | ☒ | 1 |
| ask-integrator.0.2.0 | ☒ | 0 |
| asn1-combinators.0.3.2 | ☑ | 476 |
| assimp.0.3 | ☑ | -1 |
| astring.0.8.5 | ☑ | -1 |
| async.v0.17.0 | ☒ | 225 |
| async-uri.0.4.0 | ☒ | 0 |
| async_durable.v0.17.0 | ☑ | 2 |
| async_extra.v0.17.0 | ☒ | 3 |
| async_find.v0.17.0 | ☒ | 2 |
| async_inotify.v0.17.0 | ☒ | 1 |
| async_interactive.v0.17.0 | ☒ | 0 |
| async_kernel.v0.17.0 | ☒ | 248 |
| async_log.v0.17.0 | ☒ | 223 |
| async_rpc_kernel.v0.17.0 | ☒ | 236 |
| async_rpc_websocket.v0.17.0 | ☒ | 2 |
| async_sendfile.v0.17.0 | ☒ | 1 |
| async_shell.v0.17.0 | ☒ | 1 |
| async_smtp.v0.17.0 | ☒ | 0 |
| async_ssl.v0.17.0-1 | ☒ | 48 |
| async_udp.v0.17.0 | ☒ | 1 |
| async_unix.v0.17.0 | ☒ | 230 |
| async_websocket.v0.17.0 | ☒ | 7 |
| atable.0.1 | ☒ | 0 |
| atd.2.16.0 | ☑ | 55 |
| atdcpp.2.16.0 | ☑ | 0 |
| atdd.2.16.0 | ☑ | 0 |
| atdgen.2.16.0 | ☑ | 18 |
| atdgen-codec-runtime.2.16.0 | ☑ | 1 |
| atdgen-runtime.2.16.0 | ☑ | 46 |
| atdj.2.16.0 | ☑ | 0 |
| atdpy.2.16.0 | ☑ | 0 |
| atds.2.16.0 | ☑ | 0 |
| atdts.2.16.0 | ☑ | 1 |
| atomic.base | ☑ | -1 |
| autofonce.0.8 | ☒ | 0 |
| autofonce_config.0.8 | ☒ | 2 |
| autofonce_core.0.8 | ☒ | 2 |
| autofonce_lib.0.8 | ☒ | 1 |
| autofonce_m4.0.8 | ☒ | 3 |
| autofonce_misc.0.8 | ☒ | 5 |
| autofonce_patch.0.8 | ☒ | 2 |
| autofonce_share.0.8 | ☒ | 3 |
| avro.0.1 | ☑ | 0 |
| avro-compiler.0.1 | ☑ | 1 |
| awa.0.5.0 | ☑ | 23 |
| awa-mirage.0.5.0 | ☑ | 22 |
| aws-config.0.0.1 | ☑ | 0 |
| azblob.0.1.0 | ☒ | 1 |
| azure-cosmos-db.0.2.4 | ☒ | 0 |