Skip to content
GitHub macOS CI

Merge PR #18287: [build] [opam] Pass -p correctly to make dunestrap… #33

Sign in to view logs

Merge PR #18287: [build] [opam] Pass -p correctly to make dunestrap…

Merge PR #18287: [build] [opam] Pass -p correctly to make dunestrap… #33

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
36m 10s
36m 10s