d-flex flex-column width-full">

fix version sorting

719672a

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

DCO

DCO

CI on: pull_request 42

Bootstrap with OCaml 5.4 (macos-latest)

Bootstrap with OCaml 5.4 (ubuntu-latest)

Tests (Nix) (ubuntu-latest)

Format

Ensure no files with CRLF line endings are committed to the repo

Documentation

Bootstrap with OCaml 4.02 (ubuntu-latest)

Bootstrap with OCaml 4.14 (ubuntu-latest)

Bootstrap with OxCaml (ubuntu-latest)

Bootstrap on Cygwin

Test that the utop dev tool can be built and run

Rocq Tests

Rocq Tests (native)

Wasm_of_ocaml Tests

OxCaml Tests (opam)

OxCaml Tests (Nix)

Create local opam switch (macos-latest, 5)

Create local opam switch (ubuntu-latest, 5)

Build microbenchmarks

Build (opam) (ocaml-variants.5.6.0+trunk, ocaml-variants.5.6.0+trunk, ubuntu-latest)

Build (opam) (5.4.x, 5.4.x, ubuntu-latest, true)

Build (opam) (5.4.x, 5.4.x, macos-latest, true)

Build (opam) (5.4.x, 5.4.x, macos-15-intel)

Build (opam) (ocaml-compiler.5.4.0,system-msvc, windows-latest, ocaml-compiler.5.4.0-system-msvc,...

Build (opam) (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system...

Build (opam) (4.14.x, 4.14.x, ubuntu-latest)

Build (opam) (ocaml-variants.4.14.2+options,ocaml-option-32bit, ocaml-variants.4.14.2-ocaml-optio...

Build (opam) (4.14.x, 4.14.x, macos-latest)

Binaries on: pull_request 4

x86_64-apple-darwin

aarch64-apple-darwin

x86_64-unknown-linux-musl

x86_64-pc-windows-gnu

combine

DCO / DCO succeeded Jul 8, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...