Merge pull request #46 from bugadani/ci

CI updates
drogue-iot · Oct 18, 2023 · dba0038 · dba0038
2 parents e167090 + b05cf5b
commit dba0038
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -11,11 +11,21 @@ on:
       - "v*"
   # Also on PRs, just be careful not to publish anything
   pull_request:
+    types: [opened, synchronize, reopened, ready_for_review]
 
+# Cancel any currently running workflows from the same PR, branch, or
+# tag when a new workflow is triggered.
+#
+# https://stackoverflow.com/a/66336834
+concurrency:
+  cancel-in-progress: true
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
 
 jobs:
   ci:
     runs-on: ubuntu-20.04
+    if: github.event.pull_request.draft == false
+
     steps:
       - uses: actions/checkout@v3