.github/workflows/ci.yml: Use github concurrency feature instead of branch name globbing
The current approach to avoid redundant CI and trigger workflows is preventing
pull requests from external repositories owned by users that are not in the
apache github group.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 63ec71f..f8cf547 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,25 +1,17 @@
name: PR Checks
-# Run the CI if branches are pushed locally, allowing us to
-# run CI without the need of creating a pull request.
-#
-# Run the CI on pull requests only if they are from forked
-# repositories.
+# Pre-merge CI to run on push and pull_request events, even if this seems
+# redundant, we avoid concurrency with the below configuration.
#
on:
push:
- branches-ignore:
- - gh-pages
- - master
pull_request:
- types: [assigned, opened, synchronize, reopened]
- branches:
- # Branches from forks have the form 'user:branch-name' so we only run
- # this job on pull_request events for branches that look like fork
- # branches. Without this we would end up running this job twice for non
- # forked PRs, once for the push and then once for opening the PR.
- - '**:**'
+# Use the concurrency feature to ensure we don't run redundant workflows
+#
+concurrency:
+ group: ${{ github.repository }}-${{ github.ref }}-${{ github.workflow }}
+ cancel-in-progress: true
# Left to-do:
# - coverage
