feature: bring back action runners #42434
workflow.yml
on: pull_request
Matrix: Bootstrap with OCaml 5.4
Matrix: Tests (Nix)
Format
1m 37s
Ensure no files with CRLF line endings are committed to the repo
4s
Documentation
57s
Bootstrap on Cygwin
3m 54s
Test that the utop dev tool can be built and run
12m 56s
Matrix: Bootstrap with OCaml 4.02
Matrix: Bootstrap with OCaml 4.14
Matrix: Bootstrap with OxCaml
Rocq Tests
7m 39s
Rocq Tests (native)
9m 55s
Wasm_of_ocaml Tests
7m 2s
OxCaml Tests (opam)
36m 9s
OxCaml Tests (Nix)
40m 53s
Build microbenchmarks
1m 58s
Matrix: Create local opam switch
Matrix: Build (opam)
Annotations
1 error, 1 warning, and 1 notice
|
Tests (Nix) (ubuntu-latest)
Process completed with exit code 2.
|
|
Wasm_of_ocaml Tests
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: Aandreba/setup-binaryen@v1.0.0. Actions will be forced to run with Node.js 24 by default starting June 16th, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Bootstrap on Cygwin
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|