Skip to content
Vim Tests

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

Sign in to view logs

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

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

Annotations

1 warning

Vim unit tests (9.1)

Vim unit tests (9.1)
succeeded Sep 17, 2024 in 30s