Update dev tool docs for odoc and utop inclusion #43822
shonfederworkflow.yml
on: pull_request
Matrix: Bootstrap with OCaml 5.4
Matrix: Tests (Nix)
Format
1m 26s
Ensure no files with CRLF line endings are committed to the repo
4s
Documentation
43s
Bootstrap on Cygwin
3m 15s
Test that the utop dev tool can be built and run
8m 5s
Matrix: Bootstrap with OCaml 4.02
Matrix: Bootstrap with OCaml 4.14
Matrix: Bootstrap with OxCaml
Rocq Tests
7m 8s
Rocq Tests (native)
9m 46s
Wasm_of_ocaml Tests
8m 1s
OxCaml Tests (opam)
33m 36s
OxCaml Tests (Nix)
39m 54s
Build microbenchmarks
1m 48s
Matrix: Create local opam switch
Matrix: Build (opam)
Annotations
40 warnings and 4 notices
|
Bootstrap with OCaml 4.14 (ubuntu-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Test that the utop dev tool can be built and run
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Rocq Tests
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Wasm_of_ocaml Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: Aandreba/setup-binaryen@v1.0.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Wasm_of_ocaml Tests
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Wasm_of_ocaml Tests
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-3479067d762c23b1f298aeb53681206dfa72664d54e9f2af5db58f0e01d1f85b, another job may be creating this cache.
|
|
Wasm_of_ocaml Tests
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Rocq Tests (native)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (4.14.x, 4.14.x, ubuntu-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (4.14.x, 4.14.x, ubuntu-latest)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-ef20eb5e9f5e710981684c182dd0dd9f6504510a68196b710ac8b5c4d0e3dee4, another job may be creating this cache.
|
|
Build (opam) (4.14.x, 4.14.x, ubuntu-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Create local opam switch (ubuntu-latest, 5)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-12d1de4a774b72ecdaafd1a8feeb30fb27723a5df961a28870aecc83dbe61e27, another job may be creating this cache.
|
|
Create local opam switch (ubuntu-latest, 5)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.4.x, 5.4.x, macos-15-intel)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.4.x, 5.4.x, macos-15-intel)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Create local opam switch (macos-latest, 5)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-b07debf0c5620072e3568a11fd73bbb28bf25219ad8fbe3f839d7f310c2b10cb, another job may be creating this cache.
|
|
Create local opam switch (macos-latest, 5)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Create local opam switch (macos-latest, 5)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Build (opam) (ocaml-variants.5.6.0+trunk, ocaml-variants.5.6.0+trunk, ubuntu-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (ocaml-variants.5.6.0+trunk, ocaml-variants.5.6.0+trunk, ubuntu-latest)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-e78e5e4988fdfa40535cf8b7bb7bb9863e2a976ac5b480c750f27bae380da14e, another job may be creating this cache.
|
|
Build (opam) (ocaml-variants.5.6.0+trunk, ocaml-variants.5.6.0+trunk, ubuntu-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (4.14.x, 4.14.x, macos-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (4.14.x, 4.14.x, macos-latest)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Build (opam) (4.14.x, 4.14.x, macos-latest)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-0c9b669e1c1ffa73c342c9ae7cc7cde813c4d65e52e526ccefc17564c44a44de, another job may be creating this cache.
|
|
Build (opam) (4.14.x, 4.14.x, macos-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (4.14.x, 4.14.x, macos-latest)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Bootstrap with OxCaml (ubuntu-latest)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.4.x, 5.4.x, ubuntu-latest, true)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.4.x, 5.4.x, macos-latest, true)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.4.x, 5.4.x, macos-latest, true)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Build (opam) (5.4.x, 5.4.x, macos-latest, true)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-e6fc15fe572ffe1a7f92989794d39e7c9a7c6e4e2be33855e04f34ec1c09e28d, another job may be creating this cache.
|
|
Build (opam) (5.4.x, 5.4.x, macos-latest, true)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.4.x, 5.4.x, macos-latest, true)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
OxCaml Tests (opam)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
OxCaml Tests (opam)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-ee4ebcb0dbed1e1d4707793aded76efe3f18d1a3dbcdb8780d71c13189747d86, another job may be creating this cache.
|
|
OxCaml Tests (opam)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
OxCaml Tests (Nix)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (ocaml-variants.4.14.2+options,ocaml-option-32bit, ocaml-variants.4.14.2-ocaml-optio...
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (ocaml-variants.4.14.2+options,ocaml-option-32bit, ocaml-variants.4.14.2-ocaml-optio...
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-a13f8513c4e35bc4dcd28d7051bc3ed82bdd66d8d552f541dbec2efe7a5dcc04, another job may be creating this cache.
|
|
Build (opam) (ocaml-variants.4.14.2+options,ocaml-option-32bit, ocaml-variants.4.14.2-ocaml-optio...
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Bootstrap with OCaml 5.4 (macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Create local opam switch (macos-latest, 5)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Build (opam) (4.14.x, 4.14.x, macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Build (opam) (5.4.x, 5.4.x, macos-latest, true)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|