forked from aniani/vim
Problem: Github actions run on pusing a tag.
Solution: Don't run CI on tag push. Omit coveralls on pull-request.
(Ozaki Kiichi, closes #7489)
2.2 KiB
2.2 KiB