Skip to content
Vim Tests

Rewrite _CoqProject parser to match CoqIDE (#342) #24

Sign in to view logs

Rewrite _CoqProject parser to match CoqIDE (#342)

Rewrite _CoqProject parser to match CoqIDE (#342) #24

Triggered via push February 24, 2024 19:06
@whonorewhonore
pushed 70fcabb
main
Status Success
Total duration 43s
Artifacts –

vim-tests.yml

on: push
Matrix: Vim unit tests
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Vim unit tests (9.0)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (8.0)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (7.4)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (8.1)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (9.1)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (8.2)
No push credentials found. Ignoring the 'useDaemon' option.