Skip to content
CI

chore: add changelog entry for #10321 (#10352) #851

Sign in to view logs

chore: add changelog entry for #10321 (#10352)

chore: add changelog entry for #10321 (#10352) #851

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Create local opam switch (macos-latest, 5)
17m 4s
Build (macos-latest, 4.14.x)
34m 32s
Create local opam switch (macos-latest, 4.14)
14m 27s
Build (ubuntu-latest, 4.14.x)
6h 0m 14s
Create local opam switch (ubuntu-latest, 5)
8m 17s
Coq 8.16.1
11m 48s
Build (windows-latest, 4.14.x)
13m 23s
Create local opam switch (ubuntu-latest, 4.14)
8m 39s
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
5m 58s
Coverage (4.14.x)
17m 52s
Build (5.1.x, ubuntu-latest, true)
5m 33s
MSVC 4.14.0 / windows_x86
22m 56s
Documentation
40s
Build (5.1.x, macos-latest, true)
10m 28s
MSVC 4.14.0 / windows_x86_64
22m 47s
Build (4.13.x, ubuntu-latest, true)
5m 23s
Format
2m 29s
Build (4.08.x, ubuntu-latest, true)
6m 17s
Build monorepo benchmark docker image
1m 54s
Build (4.04.x, ubuntu-latest, true, true)
9m 37s
Nix (macos-latest)
3m 13s
Build (4.02.x, ubuntu-latest, true)
8m 39s
Nix (ubuntu-latest)
54s
9h 53m 4s