Skip to content
CI

refactor(pkg): simplify some bindings (#10773) #9

Sign in to view logs

refactor(pkg): simplify some bindings (#10773)

refactor(pkg): simplify some bindings (#10773) #9

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coverage (4.14.x)
12m 27s
Create local opam switch (macos-latest, 5)
8m 51s
Coq 8.16.1
11m 58s
Create local opam switch (macos-latest, 4.14)
8m 52s
Build (macos-latest, 4.14.x)
17m 57s
Create local opam switch (ubuntu-latest, 5)
8m 28s
Documentation
40s
Build (ubuntu-latest, 4.14.x)
11m 47s
Create local opam switch (ubuntu-latest, 4.14)
8m 17s
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
5m 30s
Format
2m 32s
Build (5.1.x, ubuntu-latest, true)
5m 12s
Build monorepo benchmark docker image
1m 39s
Nix (macos-latest)
2m 16s
Build (5.1.x, macos-latest, true)
5m 17s
Nix (ubuntu-latest)
56s
Build (4.14.x, macos-13, true)
8m 54s
Build (ocaml-base-compiler.4.14.2,system-msvc, windows-latest)
18m 22s
Build (ocaml-base-compiler.4.14.2,system-mingw, windows-latest)
16m 28s
Build (4.13.x, ubuntu-latest, true)
5m 21s
Build (4.08.x, ubuntu-latest, true)
5m 2s
Build (4.04.x, ubuntu-latest, true, true)
8m 32s
Build (4.02.x, ubuntu-latest, true)
7m 22s
3h 2m 40s