Skip to content
CI

refactor: move [$ dune fmt] to separate module #28789

Sign in to view logs

refactor: move [$ dune fmt] to separate module

refactor: move [$ dune fmt] to separate module #28789

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coverage (5.1.x)
9m 54s
Format
1m 8s
Coq 8.16.1
7m 15s
Build (macos-latest, 5.1.x)
13m 23s
Build (ubuntu-latest, 5.1.x)
8m 43s
Build monorepo benchmark docker image
3m 51s
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
4m 54s
Nix (macos-latest)
1m 54s
Build (4.14.x, ubuntu-latest, true)
1m 33s
Nix (ubuntu-latest)
55s
Build microbenchmarks
2m 20s
Build (4.14.x, macos-latest, true)
3m 14s
Build (5.1.x, macos-13, true)
4m 7s
Build (ocaml-base-compiler.4.14.2,system-msvc, windows-latest)
15m 42s
Create local opam switch (macos-latest, 5)
5m 27s
Build (ocaml-base-compiler.5.1.1,system-mingw, windows-latest)
10m 27s
Documentation
50s
Create local opam switch (macos-latest, 4.14)
5m 30s
Build (4.08.x, ubuntu-latest, true)
1m 51s
Create local opam switch (ubuntu-latest, 5)
4m 50s
Build (4.04.x, ubuntu-latest, true, true)
4m 44s
Create local opam switch (ubuntu-latest, 4.14)
4m 58s
Build (4.02.x, ubuntu-latest, true)
4m 17s
2h 1m 47s