Skip to content
GitHub macOS CI

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

Sign in to view logs

coqdep: Windows: fix normalisation of paths containing \

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

Triggered via push August 11, 2023 15:09
@MSoegtropIMCMSoegtropIMC
pushed e8e338f
fix-windows-paths
Status Success
Total duration 31m 10s
Artifacts –

ci-macos.yml

on: push
macOS
30m 56s
macOS
Fit to window
Zoom out
Zoom in