Skip to content
CI

test: document single-module library recompilation behavior (#4572) (… #39221

Sign in to view logs

test: document single-module library recompilation behavior (#4572) (…

test: document single-module library recompilation behavior (#4572) (… #39221

Triggered via push April 10, 2026 17:16
@rgrinbergrgrinberg
pushed bdef216
main
Status Cancelled
Total duration 19m 42s
Artifacts –

workflow.yml

on: push
Matrix: Nix Build
Waiting for pending jobs
Matrix: Nix Tests
Waiting for pending jobs
Cygwin Build
Cygwin Build
Documentation
Documentation
Ensure no files with CRLF line endings are committed to the repo
Ensure no files with CRLF line endings are committed to the repo
Format
Format
Test that the utop dev tool can be built and run
Test that the utop dev tool can be built and run
Matrix: Bootstrap
Waiting for pending jobs
Matrix: Nix Build 4.14
Waiting for pending jobs
Matrix: Build with OxCaml
Waiting for pending jobs
Build microbenchmarks
Build microbenchmarks
Building Dune with OxCaml
Building Dune with OxCaml
Rocq 9.2
Rocq 9.2
Rocq 9.2 (native)
Rocq 9.2 (native)
Wasm_of_ocaml
Wasm_of_ocaml
Matrix: Create local opam switch
Waiting for pending jobs
Matrix: Build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for CI @ refs/heads/main exists