Skip to content
GitHub macOS CI

Fix incorrect path normalization in coqdep on //.. #4336

Sign in to view logs

Fix incorrect path normalization in coqdep on //..

Fix incorrect path normalization in coqdep on //.. #4336

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
46m 6s
46m 6s