Merge pull request #300 from peopledoc/github-actions

Trigger CI when publishing a new release
procrastinate-org · Aug 25, 2020 · 6ad7f04 · 6ad7f04
2 parents c11ae01 + bbb8345
commit 6ad7f04
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,8 +5,10 @@ on:
     branches:
       - master
     tags:
-      - '*'
   pull_request:
+  release:
+    types:
+      - published
 
 jobs:
   lint:
@@ -108,7 +110,7 @@ jobs:
       - lint
       - tests
       - docs
-    if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')
+    if: (github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')) || github.event_name == 'release'
     steps:
       - uses: actions/checkout@v2
       - name: Setup Python