Skip to content
Windows CI

Backport coq/coq#17687 | Catch errors from lib_ref in the logic monad #97

Sign in to view logs

Backport coq/coq#17687 | Catch errors from lib_ref in the logic monad

Backport coq/coq#17687 | Catch errors from lib_ref in the logic monad #97

Triggered via push October 17, 2023 14:56
@LasseBlaauwbroekLasseBlaauwbroek
pushed bbe533d
v8.17-tactician
Status Failure
Total duration 51m 34s
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.