Skip to content
CI

[build] [wip] Support for the dune build system v2 #242

Sign in to view logs

[build] [wip] Support for the dune build system v2

[build] [wip] Support for the dune build system v2 #242

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Ubuntu
1m 35s
MacOS
1m 33s
3m 8s