Bram Moolenaar b5b77378bc patch 8.2.2156: Github actions run on pusing a tag ...

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)

2020-12-18 13:31:31 +01:00

2.2 KiB

Raw Blame History

View Raw