ci/github: ignore ci on tag releases (#601)

This commit is contained in:
Ariel Mashraki
2020-07-12 12:32:06 +03:00
committed by GitHub
parent 6cd1d18d46
commit 71feecbc07

View File

@@ -3,6 +3,8 @@ on:
push:
paths-ignore:
- 'doc/**'
tags-ignore:
- '*.*'
pull_request:
paths-ignore:
- 'doc/**'