From 7ae246c83933d8d7071ae2a828920417374a5192 Mon Sep 17 00:00:00 2001
From: Lex Berezhny <lex@damoti.com>
Date: Sat, 21 Aug 2021 17:10:53 -0400
Subject: [PATCH] always run on push, otherwise master branch does not get
 coverage

---
 .github/workflows/main.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f1a8ff4ab..8f0430191 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,9 +1,5 @@
 name: ci
-on:
-  pull_request:
-  push:
-    tags:
-      - 'v[0-9]+.[0-9]+.[0-9]+'
+on: ["push", "pull_request"]
 
 jobs: