Skip to content
Back to pull request #8293

Delete ctypes extensions 0.1 and 0.2 #20672

Sign in to view logs

Delete ctypes extensions 0.1 and 0.2

Delete ctypes extensions 0.1 and 0.2 #20672

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coq 8.16.1
13m 43s
MSVC 4.14.0 / windows_x86
12m 32s
MSVC 4.14.0 / windows_x86_64
13m 42s
Coverage (4.14.x)
17m 25s
Build (macos-latest, 4.14.x)
31m 37s
Build (ubuntu-latest, 4.14.x)
16m 16s
Build (windows-latest, 4.14.x)
11m 2s
Build (ocaml-variants.5.1.0+trunk, ubuntu-latest, true)
6m 47s
Build (5.0.x, ubuntu-latest, true)
3m 2s
Build (5.0.x, macos-latest, true)
6m 21s
Build (4.13.x, ubuntu-latest, true)
3m 12s
Build (4.08.x, ubuntu-latest, true)
2m 54s
Build (4.04.x, ubuntu-latest, true, true)
6m 45s
Build (4.02.x, ubuntu-latest, true)
6m 55s
Documentation
43s
Format
1m 45s
Nix (macos-latest)
4m 13s
Nix (ubuntu-latest)
1m 40s
2h 40m 34s