Pull Requests Merge Tests Baselines Running Jobs

Open Pull Requests

Showing 122 pull requests. View current baseline status (3e418590)

PR #29027: [new release] cohttp (14 packages) (6.2.0) by samoht [GitHub] [consider for merge]
PR #29026: Package mazeppa.0.7.2 by hirrolot [GitHub]
PR #29024: release tyre.1.0 by EmileTrotignon [GitHub] [needs reporter action]
PR #29023: Frama-C: new release (32.0-Germanium) by zilbuz [GitHub]
PR #29022: [new release] passage (0.3.1) by thatportugueseguy [GitHub] [consider for merge]
PR #29021: 3 packages from ocurrent/ocaml-dockerfile at 8.3.4 [MERGED] by mtelvers [GitHub]
PR #29020: [new release] passage (0.3.0) [MERGED] by thatportugueseguy [GitHub] [consider for merge]
PR #29019: [new release] quickjs (0.4.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29018: [new release] sel (0.8.0) [MERGED] by gares [GitHub] [consider for merge]
PR #29017: [new release] coq-lsp (0.2.5+8.20) [MERGED] by ejgallego [GitHub] [consider for merge]
PR #29016: [new release] coq-lsp (0.2.5+9.0) [MERGED] by ejgallego [GitHub] [consider for merge]
PR #29015: [new release] coq-lsp (0.2.5+9.1) [MERGED] by ejgallego [GitHub] [consider for merge]
PR #29014: [new release] quickjs (0.3.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29013: [new release] rizzo (0.1.0) [MERGED] by tjobi [GitHub] [consider for merge]
PR #29012: Package smtml.0.16.0 [MERGED] by filipeom [GitHub] [consider for merge]
PR #29011: OCaml 5.3.0 pre-releases: mark as unmaintained [MERGED] by hannesm [GitHub] [consider for merge]
PR #29008: [new release] raylib, raygui and raylib-callbacks (1.6.0) by tjammer [GitHub] [needs reporter action]
PR #29006: [new release] server-reason-react (0.4.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29001: [new release] Melange 6.0.1 by anmonteiro [GitHub] [needs reporter action]
PR #29000: [new release] quickjs (0.2.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #28999: [new release] reason (2 packages) (3.17.2) [MERGED] by anmonteiro [GitHub] [needs reporter action]
PR #28998: Package xdge.1.0.0 [MERGED] by avsm [GitHub] [consider for merge]
PR #28997: [new release] hxd (0.3.6) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28996: [new release] arc (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28995: [new release] dmarc (2 packages) (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28993: Add a ppx_repr upper bound for ppx_irmin 3.0.0-3.11.0 [MERGED] by jmid [GitHub] [consider for merge]
PR #28992: [new release] colombe (6 packages) (0.12.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28991: [new release] mrmime (0.7.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28990: Release melange-fetch.0.2.0 [MERGED] by davesnx [GitHub] [question, consider for merge]
PR #28989: Add a failure post-message for conf-libpcre on Centos 10 and OpenSUSE Tumbleweed [MERGED] by jmid [GitHub] [consider for merge]
PR #28988: [new release] rosetta (0.4.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28987: [new release] coin (0.1.5) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28986: Add ubuntu-family distribution support to lmdb.1.0 [MERGED] by jmid [GitHub] [consider for merge]
PR #28985: [new release] uuuu (0.4.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28984: [new release] prettym (0.0.4) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28983: 9 packages from bensmrs/gendarme at 0.4.0 [MERGED] by bensmrs [GitHub] [consider for merge]
PR #28982: [new release] dkim (4 packages) (0.9.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28980: [new release] uspf (3 packages) (0.2.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28979: [new release] goblint (2.7.1) [MERGED] by sim642 [GitHub] [consider for merge]
PR #28978: 8 packages from ocaml/opam at 2.5.0 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28977: [new release] goblint (2.7.0) [CLOSED] by sim642 [GitHub]
PR #28976: Add epel-release depext to conf-age for Centos [MERGED] by jmid [GitHub] [consider for merge]
PR #28975: 2 packages from rocq-prover/vsrocq at 2.3.4 [MERGED] by vscoqbot [GitHub] [question, needs reporter action]
PR #28974: Add an OCaml 5.4.0 upper bound on bogue.20250224 [MERGED] by jmid [GitHub] [consider for merge]
PR #28973: Add an OCaml 5.4.0 upper bound on why3 1.6.0-1.8.0 [MERGED] by jmid [GitHub] [consider for merge]
PR #28972: Add a missing cmdliner.2.0.0 upper bound for runtime_event_tools* [MERGED] by jmid [GitHub] [consider for merge]
PR #28971: Add an OCaml 5.4.0 upper bound on boltzgen.0.9.5 [MERGED] by jmid [GitHub] [consider for merge]
PR #28970: [new release] slipshow (0.7.0) [MERGED] by panglesd [GitHub] [consider for merge]
PR #28969: [new release] passage (0.2.0) by thatportugueseguy [GitHub] [needs reporter action]
PR #28968: Add conf-libclang 19 [MERGED] by mseri [GitHub] [consider for merge]
PR #28967: 2 packages from kit-ty-kate/opam-build at 0.3.0 [MERGED] by kit-ty-kate [GitHub]
PR #28965: [new release] ocamlmig (5.4-20251020) [MERGED] by v-gb [GitHub] [consider for merge]
PR #28964: Release ocaml-solo5 and ocaml-solo5-cross-aarch64 1.2.0 [MERGED] by hannesm [GitHub] [consider for merge]
PR #28963: [new release] repr (4 packages) (0.8.0) [MERGED] by samoht [GitHub] [consider for merge]
PR #28962: Add: cmdliner.2.1.0 [MERGED] by dbuenzli [GitHub] [consider for merge]
PR #28961: Update the repo file's announcement following the release of opam 2.5.0 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28960: Fix avro-simple project meta-data [MERGED] by tmcgilchrist [GitHub] [consider for merge]
PR #28959: Fix shcaml.0.2.1 when in presence of topkg >= 1.1.0 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28958: [new release] query-json (0.6.1) [MERGED] by davesnx [GitHub] [consider for merge]
PR #28957: Package smtml.0.15.0 [MERGED] by filipeom [GitHub] [consider for merge]
PR #28955: [new release] query-json (0.6.0) [CLOSED] by davesnx [GitHub] [needs reporter action]
PR #28954: [new release] dream-html (2 packages) (3.11.2) [MERGED] by yawaramin [GitHub] [question, consider for merge]
PR #28951: 5 packages from benfaerber/liquid-ml at 0.1.3 [MERGED] by benfaerber [GitHub] [consider for merge]
PR #28950: Add conf-libclang.21 using a generic configure script [MERGED] by jmid [GitHub] [consider for merge]
PR #28949: Package mazeppa.0.7.0 [MERGED] by hirrolot [GitHub] [consider for merge]
PR #28947: Package mazeppa.0.6.2 [CLOSED] by hirrolot [GitHub]
PR #28946: Package mazeppa.0.6.1 [CLOSED] by hirrolot [GitHub]
PR #28945: Fix MSys2 side-conditions for conf-packages, part 3/3 [MERGED] by jmid [GitHub] [consider for merge]
PR #28944: Fix MSys2 side-conditions for conf-packages, part 2/3 [MERGED] by jmid [GitHub] [consider for merge]
PR #28943: Bump actions/checkout from 5 to 6 [MERGED] by dependabot[bot] [GitHub] [consider for merge, dependencies, github_actions]
PR #28942: [new release] mirage (2 packages) (4.10.4) [MERGED] by reynir [GitHub] [consider for merge]
PR #28941: Add alice.0.1.1 [MERGED] by gridbugs [GitHub] [consider for merge]
PR #28940: Package msvs-detect.0.8.0 [MERGED] by dra27 [GitHub] [consider for merge]
PR #28939: Fix MSys2 side-conditions for conf-packages, part 1/3 [MERGED] by jmid [GitHub] [consider for merge]
PR #28938: Package azure-cosmos-db.0.3.2 [MERGED] by mknaack [GitHub] [question, consider for merge]
PR #28937: [new release] hol2dk (2.1.0) [MERGED] by fblanqui [GitHub] [consider for merge]
PR #28936: [new release] qcow (4 packages) (0.12.2) [MERGED] by psafont [GitHub] [consider for merge]
PR #28935: [new release] flint (4 packages) (0.4.1) by bobot [GitHub] [needs reporter action]
PR #28933: [new release] bstr (3 packages) (0.0.3) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28932: Add jasmin.2025.06.2 [MERGED] by eponier [GitHub] [consider for merge]
PR #28931: lmdb depext on nixos by RyanGibb [GitHub] [question]
PR #28929: [new release] goblint-cil (2.0.9) [MERGED] by sim642 [GitHub] [consider for merge]
PR #28928: 8 packages from ocaml/opam at 2.5.0~rc1 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28926: Package soupault.5.2.0 [MERGED] by dmbaturin [GitHub] [consider for merge]
PR #28919: [new release] yocaml (14 packages) (2.7.0) [MERGED] by xvw [GitHub] [consider for merge]
PR #28917: [new release] salto-analyzer (0.2) [MERGED] by esope [GitHub] [consider for merge]
PR #28914: chore: update gappa to version 1.6.0 [MERGED] by Justme0606 [GitHub] [consider for merge]
PR #28911: Release diffast v0.3.6 [MERGED] by codinuum [GitHub] [needs reporter action, consider for merge]
PR #28910: [new release] avro-simple (0.1) [MERGED] by tmcgilchrist [GitHub] [consider for merge]
PR #28907: Package crowbar.0.2.2 [MERGED] by stedolan [GitHub] [consider for merge]
PR #28903: Package coq-waterproof.3.1.0+9.1 [MERGED] by jim-portegies [GitHub]
PR #28902: [new release] ocaml-protoc (4 packages) (4.0) [MERGED] by c-cube [GitHub] [consider for merge]
PR #28894: 4 packages from ocsigen/lwt at 6.0.0-beta01 by raphael-proust [GitHub] [needs reporter action]
PR #28882: 6 packages from zoggy.frama.io/ojs-base/releases/ojs-base-0.9.0.tar.bz2 [MERGED] by zoggy [GitHub] [question, consider for merge]
PR #28867: [new release] reason (2 packages) (3.17.1) [CLOSED] by anmonteiro [GitHub] [needs reporter action]
PR #28866: [new release] Melange 6.0.0 [CLOSED] by anmonteiro [GitHub] [question, consider for merge]
PR #28856: Teach `x-ci-accept-failures` to Windows CI tests by shym [GitHub] [new opam-repository maintainer question]
PR #28849: [MLCUDDIDL] supports 5.0 by removing modules [MERGED] by bobot [GitHub] [needs reporter action]
PR #28843: frama-clang Version 0.0.19~beta by frama-ci-bot [GitHub] [question, needs reporter action]
PR #28841: frama-c-metacsl Version 0.10~beta [MERGED] by frama-ci-bot [GitHub] [consider for merge]
PR #28827: [new release] raven (11 packages) (1.0.0~alpha2) [MERGED] by tmattio [GitHub] [consider for merge]
PR #28777: Package otp.0.2 [CLOSED] by Heyji2 [GitHub] [needs reporter action]
PR #28521: update: chess_com_api, lichess_api, pgn_parser 1.0.2 by Ckaf [GitHub] [needs reporter action]
PR #28495: Add upper bound on efl.1.24.0 by mtelvers [GitHub] [needs reporter action]
PR #28485: Package omni-irc.v0.1.12-1-g01e9475 by jesse-greathouse [GitHub] [needs reporter action]
PR #28455: Add ocaml-system for 5.4.0 and 5.5.0 with support for dev/alpha/beta versions by kit-ty-kate [GitHub] [do not merge]
PR #28419: Package cvc5.1.3.0-1 by joaomhmpereira [GitHub] [needs reporter action]
PR #28348: repo: Set archive-mirrors to opam.ocaml.org's cache by kit-ty-kate [GitHub] [needs admin action, do not merge]
PR #28291: [new release] archive (2 packages) (3.7.2+6) by gildor478 [GitHub] [needs reporter action]
PR #28262: Add alpine to libbpf availability by patricoferris [GitHub] [needs reporter action]
PR #27920: Package ocaml-fsrs.0.1.0-alpha3 by chaosarium [GitHub] [needs reporter action]
PR #27798: 2 conf-files, one for the magick-core lib with the major version 6, and a second one for 7 by fccm2 [GitHub]
PR #27694: UPDATE Pds to 6.55 by orbitz [GitHub] [needs reporter action]
PR #27642: remove rust-llvm depext for conf-rust-llvm in ubuntu by redianthus [GitHub] [needs reporter action]
PR #27360: release ocaml-rocksdb-0.02 by chetmurthy [GitHub] [needs reporter action]
PR #26991: Add new conf-gcc-multilib package by sim642 [GitHub] [needs reporter action]
PR #26907: Draft: Fix apron homebrew by clebreto [GitHub]
PR #26906: Draft: Fix gmp homebrew by clebreto [GitHub] [needs reporter action]
PR #25889: [package update] Autogenerated conf-libclang packages for LLVM upto 18.0 by thierry-martinez [GitHub] [needs reporter action]
PR #25002: New LLVM 16 release to fix Homebrew installing zstd in nonstandard location by alan-j-hu [GitHub] [needs reporter action]
PR #24267: Remove all R scripts that require to disable the sandbox by kit-ty-kate [GitHub] [policy discussion]
PR #23309: new file: packages/odnnr/odnnr.2.0.3/opam by UnixJunkie [GitHub] [question, needs opam-repository maintainer action]