feat(formatting): format generated diff corrections #46487
rgrinbergworkflow.yml
on: pull_request
Matrix: Bootstrap with OCaml 5.5
Matrix: Tests (Nix)
Bootstrap with OCaml trunk (Nix)
5m 15s
Format
1m 31s
Ensure no files with CRLF line endings are committed to the repo
6s
Documentation
1m 3s
Bootstrap on Cygwin
3m 28s
Test that the utop dev tool can be built and run
10m 28s
Matrix: Bootstrap with OCaml 4.02
Matrix: Bootstrap with OCaml 4.14
Matrix: Bootstrap with OxCaml
Rocq Tests
9m 15s
Rocq Tests (native)
8m 5s
Wasm_of_ocaml Tests
4m 48s
OxCaml Tests (opam)
33m 48s
OxCaml Tests (Nix)
31m 21s
Build microbenchmarks
2m 3s
Matrix: Create local opam switch
Matrix: Build (opam)
Annotations
28 warnings
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
Rocq Tests (native)
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.
|
|
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...
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)
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)
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.5.x, 5.5.x, ubuntu-latest, true)
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.
|
|
Build (opam) (5.5.x, 5.5.x, macos-26-intel)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (5.5.x, 5.5.x, macos-26-intel)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (ocaml-compiler.5.5.0,system-msvc, windows-latest, ocaml-compiler.5.5.0-system-msvc,...
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|
|
Build (opam) (ocaml-base-compiler.5.5.0,system-mingw, windows-latest, ocaml-compiler.5.5.0-system...
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) (5.5.x, 5.5.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.5.x, 5.5.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.5.x, 5.5.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)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|