mirror of
https://github.com/vim/vim.git
synced 2026-05-27 12:36:51 +02:00
982ded68b6
Problem: CI: codecov may take a very long time to run. Solution: Add a timeout. (Philip Heiduck, closes #12559)