Skip to content
Github CI

Adapt to https://github.com/coq/coq/pull/19530 #3042

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #3042

Annotations

1 error

build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...

build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
failed Dec 4, 2024 in 9m 42s