Skip to content
Builds, tests & co

[API] Make the ?lock_kind parameters non-optional to avoid breaking the library users after they upgrade their opam root #4092

Sign in to view logs

[API] Make the ?lock_kind parameters non-optional to avoid breaking the library users after they upgrade their opam root

[API] Make the ?lock_kind parameters non-optional to avoid breaking the library users after they upgrade their opam root #4092

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyse
32s
Analyse
32s
Cygwin
1m 36s
Cygwin
1m 36s
Build-macOS (4.14.2)
7m 14s
Build-macOS (4.14.2)
7m 14s
Hygiene
19s
Hygiene
19s
Build-Linux (4.08.1)
5m 48s
Build-Linux (4.08.1)
5m 48s
Build-macOS (5.3.0)
5m 54s
Build-macOS (5.3.0)
5m 54s
Build-Linux (4.09.1)
5m 32s
Build-Linux (4.09.1)
5m 32s
Test-macOS (4.14.2)
32m 45s
Test-macOS (4.14.2)
32m 45s
Build-Linux (4.10.2)
5m 43s
Build-Linux (4.10.2)
5m 43s
Test-macOS (5.3.0)
33m 32s
Test-macOS (5.3.0)
33m 32s
Build-Linux (4.11.2)
5m 2s
Build-Linux (4.11.2)
5m 2s
Build-Linux (4.12.1)
5m 44s
Build-Linux (4.12.1)
5m 44s
Build-Linux (4.13.1)
5m 10s
Build-Linux (4.13.1)
5m 10s
Build-Linux (5.0.0)
5m 54s
Build-Linux (5.0.0)
5m 54s
Build-Linux (5.1.1)
5m 22s
Build-Linux (5.1.1)
5m 22s
Build-Linux (5.2.1)
5m 59s
Build-Linux (5.2.1)
5m 59s
Build-Linux (4.14.2)
5m 25s
Build-Linux (4.14.2)
5m 25s
Build-Linux (5.3.0)
7m 15s
Build-Linux (5.3.0)
7m 15s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)
35m 15s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)
13s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
40m 37s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
14s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
41m 18s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
26s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)
44m 7s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)
15s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)
46m 17s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)
15s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)
42m 42s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)
18s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)
40m 8s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)
19s
Upgrade-macOS (4.14.2)
1m 47s
Upgrade-macOS (4.14.2)
1m 47s
Solvers-macOS (z3, 4.14.2)
13m 24s
Solvers-macOS (z3, 4.14.2)
13m 24s
Upgrade-macOS (5.3.0)
2m 24s
Upgrade-macOS (5.3.0)
2m 24s
Solvers-macOS (z3, 5.3.0)
14m 42s
Solvers-macOS (z3, 5.3.0)
14m 42s
Solvers-macOS (0install, 4.14.2)
6m 48s
Solvers-macOS (0install, 4.14.2)
6m 48s
Solvers-macOS (0install, 5.3.0)
6m 43s
Solvers-macOS (0install, 5.3.0)
6m 43s
Test-Linux (4.14.2)
15m 11s
Test-Linux (4.14.2)
15m 11s
Cold-Linux
5m 11s
Cold-Linux
5m 11s
Test-Linux (5.3.0)
14m 16s
Test-Linux (5.3.0)
14m 16s
Doc-Linux (4.14.2)
5m 24s
Doc-Linux (4.14.2)
5m 24s
Doc-Linux (5.3.0)
4m 23s
Doc-Linux (5.3.0)
4m 23s
Solvers-Linux (z3, 4.14.2)
16m 21s
Solvers-Linux (z3, 4.14.2)
16m 21s
Upgrade-Linux (4.14.2)
1m 34s
Upgrade-Linux (4.14.2)
1m 34s
Solvers-Linux (z3, 5.3.0)
15m 59s
Solvers-Linux (z3, 5.3.0)
15m 59s
Upgrade-Linux (5.3.0)
1m 32s
Upgrade-Linux (5.3.0)
1m 32s
Solvers-Linux (0install, 4.14.2)
6m 10s
Solvers-Linux (0install, 4.14.2)
6m 10s
Solvers-Linux (0install, 5.3.0)
5m 43s
Solvers-Linux (0install, 5.3.0)
5m 43s
14h 17m 0s