d-flex flex-column width-full">

chore(deps): bump nixbuild/nix-quick-install-action from 34 to 35 in …

577c7ce

Select commit

Loading

Failed to load commit list.

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

DCO

DCO

CI on: pull_request 37

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 Jun 22, 2026 in 0s

DCO

All commits are signed off!

Loading