d-flex flex-column width-full">

Add .github/copilot-instructions.md with Nix dev shell guidance

49da9f5

Select commit

Loading

Failed to load commit list.

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

DCO

DCO

CI on: pull_request 6

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)

Copilot Setup Steps on: pull_request

copilot-setup-steps

DCO / DCO succeeded Apr 25, 2026 in 1s

DCO

All commits are signed off!

Loading