d-flex flex-column width-full">

fix: punt on all the refactoring

7876aaa

Select commit

Loading

Failed to load commit list.

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

DCO

DCO

CI on: pull_request 2

Nix Build (macos-latest)

Nix Build (ubuntu-latest)

Nix Tests (ubuntu-latest)

Format

Documentation

Bootstrap (ubuntu-latest)

Nix Build 4.08 (ubuntu-latest)

Cygwin Build

Coq 8.16.1

Wasm_of_ocaml

Create local opam switch (macos-latest, 5)

Create local opam switch (ubuntu-latest, 5)

Build microbenchmarks

OxCaml

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

Build (5.3.x, ubuntu-latest, true)

Build (5.3.x, macos-latest, true)

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

Build (ocaml-compiler.5.3.0,system-msvc, windows-latest, true)

Build (4.14.x, ubuntu-latest)

Build (4.14.x, macos-latest)

DCO / DCO succeeded Nov 15, 2025 in 1s

DCO

All commits are signed off!

Loading