Skip to content
Back to pull request #10640

chore: add a missing changelog entry for #10581 #27197

Sign in to view logs

chore: add a missing changelog entry for #10581

chore: add a missing changelog entry for #10581 #27197

Run time

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