Skip to content
Windows CI

Rename default install location (lib/coq -> lib/rocq) #4350

Sign in to view logs

Rename default install location (lib/coq -> lib/rocq)

Rename default install location (lib/coq -> lib/rocq) #4350

Triggered via push December 20, 2024 13:28
@SkySkimmerSkySkimmer
pushed f42f3b9
default-coqlib-rocq
Status Failure
Total duration 51m 42s
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.