Skip to content
Vim Tests

Rewrite _CoqProject parser to match CoqIDE #23

Sign in to view logs

Rewrite _CoqProject parser to match CoqIDE

Rewrite _CoqProject parser to match CoqIDE #23

Triggered via pull request February 24, 2024 19:03
@whonorewhonore
synchronize #342
coqproject-quoted-args
Status Success
Total duration 42s
Artifacts –

vim-tests.yml

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

Annotations

6 warnings
Vim unit tests (7.4)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (8.0)
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.0)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (8.2)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (9.1)
No push credentials found. Ignoring the 'useDaemon' option.