mirror of
https://github.com/vim/vim.git
synced 2026-08-09 00:19:48 +02:00
7f4a628efe
Problem: Github CI: workflows may overlap.
Solution: Cancel previous workflows when starting a new one. (Yegappan
Lakshmanan, closes #9400)