Skip to content
Main Workflow

Merge pull request #308 from nberth/fixing-drom-n-opam-cross #1048

Sign in to view logs

Merge pull request #308 from nberth/fixing-drom-n-opam-cross

Merge pull request #308 from nberth/fixing-drom-n-opam-cross #1048

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 4.14.1, false)
13m 25s
build (macos-latest, 4.14.1, false)
14m 34s
build (ubuntu-latest, 4.14.0, true)
13m 19s
41m 18s