chore: production deployment workflow

BBMRI-ERIC · Feb 15, 2023 · 42b9220 · 42b9220
1 parent 3c5a5d9
commit 42b9220
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-prod.yml b/.github/workflows/deploy-prod.yml
@@ -5,7 +5,7 @@ on: workflow_dispatch
 jobs:
 
   deploy:
-    if: github.actor == 'RadovanTomik' && github.ref_type == 'tag'
+    if: (github.actor == 'RadovanTomik' || github.actor == 'konradlang') && github.ref_type == 'tag'
     runs-on: ubuntu-latest
 
     environment: