Skip to content
Windows CI

Fix with-rocq-wrap when called from unexpected directory #4400

Sign in to view logs

Fix with-rocq-wrap when called from unexpected directory

Fix with-rocq-wrap when called from unexpected directory #4400

Triggered via push January 10, 2025 15:48
@SkySkimmerSkySkimmer
pushed 2da2ea3
fix-stdlib-hash
Status Failure
Total duration 47m 53s
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.