[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build #1933
Triggered via pull request
September 9, 2024 12:49
ejgallego
Status
Failure
Total duration
1h 53m 21s
Artifacts
–
Annotations
1 error
|
Windows (64, 8.17~2023.08-coq-lsp)
Process completed with exit code 1.
|