forked from aniani/vim
Problem: CI: codecov may take a very long time to run. Solution: Add a timeout. (Philip Heiduck, closes #12559)
Problem: CI: codecov may take a very long time to run. Solution: Add a timeout. (Philip Heiduck, closes #12559)