Skip to content
Back to pull request #9229

test: demo dupe rule bug for ccomp on rebuild #22887

Sign in to view logs

test: demo dupe rule bug for ccomp on rebuild

test: demo dupe rule bug for ccomp on rebuild #22887

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Format
59s
MSVC 4.14.0 / windows_x86
9m 21s
MSVC 4.14.0 / windows_x86_64
9m 39s
Coq 8.16.1
9m 11s
Build (macos-latest, 4.14.x)
25m 30s
Coverage (4.14.x)
11m 4s
Build (ubuntu-latest, 4.14.x)
10m 29s
Create local opam switch (macos-latest, 5)
12m 32s
Build (windows-latest, 4.14.x)
8m 47s
Documentation
36s
Create local opam switch (macos-latest, 4.14)
12m 53s
Build monorepo benchmark docker image
1m 52s
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
2m 18s
Create local opam switch (ubuntu-latest, 5)
5m 10s
Build (5.1.x, ubuntu-latest, true)
2m 55s
Create local opam switch (ubuntu-latest, 4.14)
5m 12s
Nix (macos-latest)
3m 22s
Build (5.1.x, macos-latest, true)
5m 48s
Nix (ubuntu-latest)
52s
Build (4.13.x, ubuntu-latest, true)
2m 39s
Build (4.08.x, ubuntu-latest, true)
2m 37s
Build (4.04.x, ubuntu-latest, true, true)
5m 34s
Build (4.02.x, ubuntu-latest, true)
4m 55s
2h 34m 15s