Skip to content

chore: update changes for stale digest fix (#14128) #39222

chore: update changes for stale digest fix (#14128)

chore: update changes for stale digest fix (#14128) #39222

Triggered via push April 10, 2026 17:36
Status Cancelled
Total duration 11s
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