Skip to content
Main workflow

Change default dune target to only include install targets #123

Sign in to view logs

Change default dune target to only include install targets

Change default dune target to only include install targets #123

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 5.0.0)
4m 8s
build (ubuntu-latest, 4.08.0)
4m 15s
8m 23s