feat(action-plugin): run dynamic-run over RPC #46468
rgrinbergworkflow.yml
on: pull_request
Matrix: Bootstrap with OCaml 5.5
Matrix: Tests (Nix)
Bootstrap with OCaml trunk (Nix)
5m 20s
Format
1m 35s
Ensure no files with CRLF line endings are committed to the repo
5s
Documentation
57s
Bootstrap on Cygwin
2m 22s
Test that the utop dev tool can be built and run
10m 13s
Matrix: Bootstrap with OCaml 4.02
Matrix: Bootstrap with OCaml 4.14
Matrix: Bootstrap with OxCaml
Rocq Tests
8m 1s
Rocq Tests (native)
10m 8s
Wasm_of_ocaml Tests
3m 40s
OxCaml Tests (opam)
33m 34s
OxCaml Tests (Nix)
40m 49s
Build microbenchmarks
2m 5s
Matrix: Create local opam switch
Matrix: Build (opam)
Annotations
3 errors and 10 warnings
|
Bootstrap with OCaml 4.14 (ubuntu-latest)
Process completed with exit code 2.
|
|
Bootstrap on Cygwin
Process completed with exit code 1.
|
|
Tests (Nix) (ubuntu-latest)
Process completed with exit code 2.
|
|
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.
|
|
Rocq Tests
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
|
|
Rocq Tests (native)
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.
|
|
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.
|
|
OxCaml Tests (Nix)
Cache reservation failed: You have reached your configured budget, your cache is now read only to prevent additional charges.
|