Skip to content
CI

fix: remove expansion limitation #25684

Sign in to view logs

fix: remove expansion limitation

fix: remove expansion limitation #25684

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Format
2m 25s
Build (macos-latest, 4.14.x)
26m 20s
Build (ubuntu-latest, 4.14.x)
11m 23s
Nix (macos-latest)
3m 39s
MSVC 4.14.0 / windows_x86
11m 8s
Build (windows-latest, 4.14.x)
6m 20s
Nix (ubuntu-latest)
54s
MSVC 4.14.0 / windows_x86_64
11m 9s
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
2m 27s
Coq 8.16.1
8m 54s
Build (5.1.x, ubuntu-latest, true)
2m 21s
Coverage (4.14.x)
12m 18s
Build (5.1.x, macos-latest, true)
7m 7s
Create local opam switch (macos-latest, 5)
9m 12s
Build (4.13.x, ubuntu-latest, true)
2m 27s
Documentation
34s
Create local opam switch (macos-latest, 4.14)
14m 17s
Build (4.08.x, ubuntu-latest, true)
2m 23s
Create local opam switch (ubuntu-latest, 5)
5m 0s
Build (4.04.x, ubuntu-latest, true, true)
5m 42s
Create local opam switch (ubuntu-latest, 4.14)
5m 13s
Build (4.02.x, ubuntu-latest, true)
4m 42s
Build monorepo benchmark docker image
3m 57s
2h 39m 52s