Skip to content
CI

fix(pkg): remove External_copy (#10512) #26909

Sign in to view logs

fix(pkg): remove External_copy (#10512)

fix(pkg): remove External_copy (#10512) #26909

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix (macos-latest)
2m 20s
Build (macos-latest, 4.14.x)
19m 35s
Nix (ubuntu-latest)
59s
Build (ubuntu-latest, 4.14.x)
10m 55s
Coq 8.16.1
9m 16s
Build (windows-latest, 4.14.x)
6m 25s
Coverage (4.14.x)
11m 34s
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
2m 21s
Create local opam switch (macos-latest, 5)
6m 53s
Build (5.1.x, ubuntu-latest, true)
2m 25s
MSVC 4.14.0 / windows_x86
10m 5s
Create local opam switch (macos-latest, 4.14)
7m 40s
Build (5.1.x, macos-latest, true)
3m 1s
MSVC 4.14.0 / windows_x86_64
9m 36s
Create local opam switch (ubuntu-latest, 5)
5m 30s
Documentation
43s
Build (4.14.x, macos-13, true)
6m 37s
Build (4.13.x, ubuntu-latest, true)
2m 38s
Create local opam switch (ubuntu-latest, 4.14)
5m 19s
Format
2m 20s
Build (4.08.x, ubuntu-latest, true)
2m 31s
Build (4.04.x, ubuntu-latest, true, true)
5m 29s
Build monorepo benchmark docker image
4m 29s
Build (4.02.x, ubuntu-latest, true)
4m 53s
2h 23m 34s