From 71feecbc077e70c480d1c111bebc3f3c5bd0af86 Mon Sep 17 00:00:00 2001
From: Ariel Mashraki <7413593+a8m@users.noreply.github.com>
Date: Sun, 12 Jul 2020 12:32:06 +0300
Subject: [PATCH] ci/github: ignore ci on tag releases (#601)

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d8b57aca5..b43cf1ed0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -3,6 +3,8 @@ on:
   push:
     paths-ignore:
       - 'doc/**'
+    tags-ignore:
+      - '*.*'
   pull_request:
     paths-ignore:
       - 'doc/**'