Update CI build triggers to run on PRs also

dalet-oss · Jan 4, 2024 · 623f95a · 623f95a
1 parent 4b07d38
commit 623f95a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 17 deletions.
diff --git a/.github/workflows/ci-build.yml b/.github/workflows/ci-build.yml
@@ -5,9 +5,13 @@ on:
   push:
     branches:
       - master
+  pull_request:
+    types: [ opened, reopened ]
+    branches:
+      - 'master'
 
 concurrency:
-  group: '${{ github.workflow }} @ ${{ github.head_ref || github.ref }}'
+  group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
   cancel-in-progress: false
 
 jobs:

diff --git a/arangobee deploy.launch b/arangobee deploy.launch