Skip to content
Back to pull request #10853

Typo in preprocessing-spec.rst #28049

Sign in to view logs

Typo in preprocessing-spec.rst

Typo in preprocessing-spec.rst #28049

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Format
2m 30s
Coverage (4.14.x)
9m 2s
Nix (macos-latest)
1m 52s
Build (macos-latest, 4.14.x)
12m 18s
Nix (ubuntu-latest)
53s
Build (ubuntu-latest, 4.14.x)
8m 18s
Build microbenchmarks
5m 12s
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
5m 15s
Coq 8.16.1
8m 38s
Create local opam switch (macos-latest, 5)
6m 9s
Build (5.1.x, ubuntu-latest, true)
1m 31s
Create local opam switch (macos-latest, 4.14)
6m 1s
Documentation
1m 11s
Build (5.1.x, macos-latest, true)
2m 50s
Create local opam switch (ubuntu-latest, 5)
4m 53s
Build monorepo benchmark docker image
1m 39s
Build (4.14.x, macos-13, true)
4m 32s
Create local opam switch (ubuntu-latest, 4.14)
4m 55s
Build (ocaml-base-compiler.4.14.2,system-msvc, windows-latest)
10m 31s
Build (ocaml-base-compiler.4.14.2,system-mingw, windows-latest)
9m 57s
Build (4.13.x, ubuntu-latest, true)
1m 33s
Build (4.08.x, ubuntu-latest, true)
1m 35s
Build (4.04.x, ubuntu-latest, true, true)
4m 38s
Build (4.02.x, ubuntu-latest, true)
4m 19s
2h 0m 12s