Skip to content

Avoid race condition while starting coqtail #70

Avoid race condition while starting coqtail

Avoid race condition while starting coqtail #70

Triggered via pull request August 23, 2024 03:53
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 (8.2)
No push credentials found. Ignoring the 'useDaemon' option.
Vim unit tests (9.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.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.