From: Daniele Varrazzo <daniele.varrazzo@gmail.com>
Date: Sun, 11 May 2025 12:06:55 +0000 (+0200)
Subject: ci: avoid running jobs on pull requests
X-Git-Tag: 3.2.10~13
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5bb344269fcac09bfa4d92fe57c9659bed800e63;p=thirdparty%2Fpsycopg.git

ci: avoid running jobs on pull requests

Jobs run anyway on push. This setting results in duplicate runs.
---

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index ba3ae6eb3..74556ee58 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -6,7 +6,9 @@ on:
     # on.<push|pull_request>.<branches|tags> GitHub Actions docs.
     branches:
       - "*"
-  pull_request:
+  # Note: trying to exclude pull requests because it results in duplicate job
+  # on the commits belonging to pull requests.
+  # pull_request:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref_name }}
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 1f1f82280..06c92313b 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -6,7 +6,9 @@ on:
     # on.<push|pull_request>.<branches|tags> GitHub Actions docs.
     branches:
       - "*"
-  pull_request:
+  # Note: trying to exclude pull requests because it results in duplicate job
+  # on the commits belonging to pull requests.
+  # pull_request:
   schedule:
     - cron: '48 6 * * *'