.github/workflows: Only trigger upon push to develop

masterleinad · Jun 5, 2023 · 76b626e · 76b626e
1 parent d730ed7
commit 76b626e
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/continuous-integration-workflow-32bit.yml b/.github/workflows/continuous-integration-workflow-32bit.yml
@@ -1,6 +1,9 @@
 name: github-Linux-32bit
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     paths-ignore:
     - '**/*.md'

diff --git a/.github/workflows/continuous-integration-workflow-hpx.yml b/.github/workflows/continuous-integration-workflow-hpx.yml
@@ -1,6 +1,9 @@
 name: github-Linux-hpx
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     paths-ignore:
     - '**/*.md'

diff --git a/.github/workflows/continuous-integration-workflow.yml b/.github/workflows/continuous-integration-workflow.yml
@@ -1,6 +1,9 @@
 name: github-Linux
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     paths-ignore:
     - '**/*.md'

diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -1,6 +1,9 @@
 name: github-OSX
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     paths-ignore:
     - '**/*.md'