Skip to content
Vim Tests

Adapt to https://github.com/coq/coq/pull/18880 (#348) #32

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/18880 (#348)

Adapt to https://github.com/coq/coq/pull/18880 (#348) #32

Annotations

1 warning

Vim unit tests (9.0)

Vim unit tests (9.0)
succeeded Apr 13, 2024 in 30s