[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/cider 6f63720845 2/2: GHA: avoid duplicated jobs
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/cider 6f63720845 2/2: GHA: avoid duplicated jobs |
Date: |
Thu, 5 Oct 2023 19:00:29 -0400 (EDT) |
branch: elpa/cider
commit 6f63720845b2645c0efe1b0be0d893a96beef80b
Author: vemv <vemv@users.noreply.github.com>
Commit: vemv <vemv@users.noreply.github.com>
GHA: avoid duplicated jobs
---
.github/workflows/test.yml | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 3d2907cb0a..666767f5ff 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -1,6 +1,15 @@
name: CI
-on: [push, pull_request]
+# This `on:` configuration avoids double-triggered jobs (one for `push`, one
for `pull_request`).
+# Pull requests will still get jobs on every commit.
+# However you won't get jobs on branch pushes that lack an associated pull
requests.
+# On the other hand, CircleCI jobs will still be triggered, which give a
useful form of feedback.
+# Lastly, remember that we have a Makefile for local development - you are
encouraged to use it before pushing commits.
+on:
+ push:
+ branches:
+ - master
+ pull_request:
permissions:
contents: read # to fetch code (actions/checkout)