Skip to content
Main workflow

Merge pull request #28 from PLTools/more-dune #90

Sign in to view logs

Merge pull request #28 from PLTools/more-dune

Merge pull request #28 from PLTools/more-dune #90

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 4.14.2)
5m 2s
build (macos-latest, 4.14.2)
6m 47s
11m 49s