doc: explain progress status line

c70aa0f

Select commit

Loading

Failed to load commit list.

Uh oh!

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

DCO

DCO

Changelog on: pull_request 2

Entry Check

CI on: pull_request 34

Bootstrap with OCaml 5.5 (macos-latest)

Bootstrap with OCaml 5.5 (ubuntu-latest)

Tests (Nix) (ubuntu-latest)

Bootstrap with OCaml trunk (Nix)

Format

Ensure no files with CRLF line endings are committed to the repo

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) (ocaml-variants.5.6.0+trunk, ocaml-variants.5.6.0+trunk, ubuntu-latest)

Build (opam) (5.5.x, 5.5.x, ubuntu-latest, true)

Build (opam) (5.5.x, 5.5.x, macos-latest, true)

Build (opam) (5.5.x, 5.5.x, macos-26-intel)

Build (opam) (ocaml-compiler.5.5.0,system-msvc, windows-latest, ocaml-compiler.5.5.0-system-msvc,...

Build (opam) (ocaml-base-compiler.5.5.0,system-mingw, windows-latest, ocaml-compiler.5.5.0-system...

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

Build (opam) (ocaml-variants.4.14.2+options,ocaml-option-32bit, ocaml-variants.4.14.2-ocaml-optio...

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

Binaries on: pull_request 4

x86_64-apple-darwin

aarch64-apple-darwin

x86_64-unknown-linux-musl

x86_64-pc-windows-gnu

combine

Changelog on: pull_request 1

Changelog on: pull_request 2

Entry Check

Changelog on: pull_request

Entry Check

DCO / DCO succeeded Sep 11, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...