Skip to content
Windows CI

Fix with-rocq-wrap on cygwin #4407

Sign in to view logs

Fix with-rocq-wrap on cygwin

Fix with-rocq-wrap on cygwin #4407

Triggered via push January 12, 2025 14:27
@SkySkimmerSkySkimmer
pushed 0538fe4
fix-wrapper-again
Status Failure
Total duration 51m 52s
Artifacts –

ci-windows.yml

on: push
Matrix: Windows
Fit to window
Zoom out
Zoom in

Annotations

1 error
Windows (64)
Process completed with exit code 1.