github: deploy on release on prod

inspirehep · Sep 9, 2020 · edabf0f · edabf0f
1 parent db17a63
commit edabf0f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,8 @@ on:
     branches: [master]
   pull_request:
     branches: [master]
+  release:
+    types: [published]
 
 jobs:
   build: