Skip to content
CI

fix(pkg): remove External_copy #26906

Sign in to view logs

fix(pkg): remove External_copy

fix(pkg): remove External_copy #26906

Run time

Learn about OS pricing on GitHub Actions
Job Run time
MSVC 4.14.0 / windows_x86
10m 18s
MSVC 4.14.0 / windows_x86_64
11m 13s
Nix (macos-latest)
2m 5s
Build (macos-latest, 4.14.x)
17m 45s
Nix (ubuntu-latest)
56s
Build (ubuntu-latest, 4.14.x)
12m 37s
Coq 8.16.1
8m 42s
Build (windows-latest, 4.14.x)
6m 34s
Coverage (4.14.x)
13m 15s
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
2m 30s
Build (5.1.x, ubuntu-latest, true)
2m 27s
Create local opam switch (macos-latest, 5)
6m 38s
Documentation
44s
Build (5.1.x, macos-latest, true)
3m 13s
Create local opam switch (macos-latest, 4.14)
6m 43s
Build (4.14.x, macos-13, true)
5m 16s
Build (4.13.x, ubuntu-latest, true)
2m 27s
Create local opam switch (ubuntu-latest, 5)
5m 45s
Format
2m 25s
Build (4.08.x, ubuntu-latest, true)
2m 33s
Create local opam switch (ubuntu-latest, 4.14)
5m 59s
Build (4.04.x, ubuntu-latest, true, true)
5m 30s
Build monorepo benchmark docker image
4m 2s
Build (4.02.x, ubuntu-latest, true)
5m 23s
2h 25m 0s