Publish Release Docs on Push

ofek · Jan 13, 2021 · d03bd2d · d03bd2d
1 parent 1bae349
commit d03bd2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -52,7 +52,7 @@ jobs:
     name: Publish Docs
     runs-on: ubuntu-latest
     # Only publish tags
-    if: github.event_name == 'create' && github.event.ref_type == 'tag'
+    if: (github.event_name == 'push' || github.event_name == 'create') && github.event.ref_type == 'tag'
     needs:
       - build
     steps: