Skip to content
Windows CI

Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq) #143

Sign in to view logs

Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq)

Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq) #143

Triggered via pull request June 20, 2024 12:34
@SkySkimmerSkySkimmer
synchronize #26085
SkySkimmer:coq-8-19-2
Status Failure
Total duration 10m 35s
Artifacts –

windows.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
build (windows-latest)
Process completed with exit code 1.
build (windows-latest)
Unable to locate the commit sha: 44df9f6f2dbbe99994f4b2ae3eb5ba184e7b0d62
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f
build (windows-latest)
Unable to find merge base between 13d5334f87e9684897511adf5d1c6fffd36d66e9 and 5911d668fb7cc22c128b1ff3eaf9452ccf8cf06f