Skip to content
Test opam package

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #907

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530 (#1957)

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #907

install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...

install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
failed Sep 19, 2024 in 2m 18s