Skip to content
Windows

Adapt to /~https://github.com/coq/coq/pull/20036 #2128

Sign in to view logs

Adapt to /~https://github.com/coq/coq/pull/20036

Adapt to /~https://github.com/coq/coq/pull/20036 #2128

Triggered via pull request January 15, 2025 07:37
@proux01proux01
synchronize #456
proux01:coq_20036
Status Failure
Total duration 33m 44s
Artifacts –

windows.yml

on: pull_request
Matrix: Windows
Matrix: Smoke test Windows
Fit to window
Zoom out
Zoom in

Annotations

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