Skip to content
CI

Allow dune exec while watch server is running (#11840) #294

Sign in to view logs

Allow dune exec while watch server is running (#11840)

Allow dune exec while watch server is running (#11840) #294

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Format
1m 39s
Nix (ubuntu-latest)
1m 29s
Nix (macos-latest)
2m 22s
Documentation
1m 7s
Build (5.3.x, ubuntu-latest)
13m 32s
Build (5.3.x, macos-latest)
19m 35s
Build (5.3.x, macos-13, true)
10m 34s
Build (ocaml-compiler.5.3.0,system-msvc, windows-latest)
17m 11s
Build (4.14.x, ubuntu-latest, true)
4m 25s
Build (ocaml-base-compiler.5.3.0,system-mingw, windows-latest)
17m 44s
Build (4.08.x, ubuntu-latest, true)
4m 30s
Build (4.14.x, macos-latest, true)
5m 49s
Create local opam switch (macos-latest, 5)
8m 44s
Build (ocaml-variants.5.4.0+trunk, ubuntu-latest, true)
6m 12s
Build microbenchmarks
2m 25s
Create local opam switch (ubuntu-latest, 5)
8m 51s
Coq 8.16.1
13m 0s
Wasm_of_ocaml
8m 40s
Create local opam switch (macos-latest, 4.14)
10m 12s
Create local opam switch (ubuntu-latest, 4.14)
8m 10s
2h 46m 11s