[doc] Add documentation page explaining shell completion #43820
ElectreAASworkflow.yml
on: pull_request
Matrix: Bootstrap with OCaml 5.4
Matrix: Tests (Nix)
Format
1m 17s
Ensure no files with CRLF line endings are committed to the repo
6s
Documentation
50s
Bootstrap on Cygwin
3m 14s
Test that the utop dev tool can be built and run
12m 1s
Matrix: Bootstrap with OCaml 4.02
Matrix: Bootstrap with OCaml 4.14
Matrix: Bootstrap with OxCaml
Rocq Tests
7m 55s
Rocq Tests (native)
9m 26s
Wasm_of_ocaml Tests
8m 6s
OxCaml Tests (opam)
36m 16s
OxCaml Tests (Nix)
41m 41s
Build microbenchmarks
1m 50s
Matrix: Create local opam switch
Matrix: Build (opam)
Annotations
38 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.
|
|
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.
|
|
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.
|
|
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 (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.
|
|
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.
|
|
Bootstrap with OxCaml (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 (macos-latest, 5)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-9d3ecc8c654fafcf738095acf57f080a586710eeb3dcfc9b71c9390b7a733264, 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) (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
|
|
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-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
|
|
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)
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
|