Skip to content
GitHub macOS CI

Use custom helper instead of md5sum in with-rocq-wrap #4559

Sign in to view logs

Use custom helper instead of md5sum in with-rocq-wrap

Use custom helper instead of md5sum in with-rocq-wrap #4559

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
21m 44s
21m 44s