d-flex flex-column width-full">

docs: align test prose with the alias mechanism it actually uses

1115c08

Select commit

Loading

Failed to load commit list.

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

DCO

DCO

CI on: pull_request 5

Bootstrap with OCaml 5.4 (macos-latest)

Bootstrap with OCaml 5.4 (ubuntu-latest)

Tests (Nix) (ubuntu-latest)

Format

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) (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) (4.14.x, 4.14.x, ubuntu-latest)

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

DCO / DCO succeeded Apr 28, 2026 in 0s

DCO

All commits are signed off!

Loading