push develop -> test -> push main

UG4 · Jun 14, 2024 · 4a6f2a0 · 4a6f2a0
1 parent d6a2f7f
commit 4a6f2a0
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/push_event_workflow.yml b/.github/workflows/push_event_workflow.yml
@@ -1,6 +1,8 @@
 name: Push Event Workflow
 
 on: push 
+  branches:
+    - develop
 
 jobs:
   unit-testing:
@@ -15,3 +17,12 @@ jobs:
 
     - name : Run tests 
       run : python -m unittest  tests/integration/test-solvers.py 
+
+      - name: Push to main
+      if: success()
+      run: |
+        git config --global user.name 'github-actions[bot]'
+        git config --global user.email 'github-actions[bot]@users.noreply.github.com'
+        git checkout main
+        git merge develop
+        git push origin main