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 ba3ae6eb33e837a104592fd765cd5053b97a3713..74556ee58cbd33e5546299be8a127cd95a94afd1 100644 (file)
--- 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 1f1f82280a2ecd4a4614e87b1f43cb25e1a0afa8..06c92313b2be44d0ed4b32988d5351b3514d33f7 100644 (file)
--- 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 * * *'