d-flex flex-column width-full">

fetch: Resolve file symlinks post fetch to enable caching

596fb35

Select commit

Loading

Failed to load commit list.

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

DCO

DCO

CI on: pull_request 8

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 Jun 9, 2026 in 1s

DCO

All commits are signed off!

Loading