Write odoc configuration files #37371
Triggered via pull request
February 3, 2026 10:44
Leonidas-from-XIV
Status
Cancelled
Total duration
19m 38s
Artifacts
–
workflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 26s
Documentation
56s
Cygwin Build
19m 9s
Test that the utop dev tool can be built and run
8m 52s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Coq 8.16.1
1m 32s
Wasm_of_ocaml
2m 18s
Building Dune with OxCaml
9m 40s
Build microbenchmarks
1m 43s
Matrix: Create local opam switch
Matrix: Build
Annotations
9 errors and 2 warnings
|
Build (5.4.x, 5.4.x, ubuntu-latest, true)
Process completed with exit code 2.
|
|
Build (5.4.x, 5.4.x, macos-latest, true)
Process completed with exit code 2.
|
|
Build (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system-mingw,...
Canceling since a higher priority waiting request for CI @ Leonidas-from-XIV:doc-dependencies exists
|
|
Build (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system-mingw,...
The operation was canceled.
|
|
Build (ocaml-compiler.5.4.0,system-msvc, windows-latest, ocaml-compiler.5.4.0-system-msvc, true)
Canceling since a higher priority waiting request for CI @ Leonidas-from-XIV:doc-dependencies exists
|
|
Build (ocaml-compiler.5.4.0,system-msvc, windows-latest, ocaml-compiler.5.4.0-system-msvc, true)
The operation was canceled.
|
|
Cygwin Build
Canceling since a higher priority waiting request for CI @ Leonidas-from-XIV:doc-dependencies exists
|
|
Cygwin Build
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI @ Leonidas-from-XIV:doc-dependencies exists
|
|
Build (4.14.x, 4.14.x, macos-latest)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|
|
Build (5.4.x, 5.4.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date.
To reinstall 2.5.1, run:
brew reinstall pkgconf
|