GitHub macOS CI

coqdep: Windows: fix normalisation of paths containing \ #11

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push August 11, 2023 15:14

fix-windows-paths

Status Success

Total duration 35m 15s

Artifacts –

ci-macos.yml

on: push