mirror of
https://github.com/vim/vim.git
synced 2026-02-10 20:26:43 +01:00
Problem: CI: Error in Coverity flow is not reported.
Solution: Use another way to avoid errors in a forked repository. (Ken
Takata, closes #11609)