]> git.ipfire.org Git - thirdparty/psycopg.git/commitdiff
ci: enable lint on pull requests
authorDaniele Varrazzo <daniele.varrazzo@gmail.com>
Thu, 23 Oct 2025 15:29:11 +0000 (16:29 +0100)
committerDaniele Varrazzo <daniele.varrazzo@gmail.com>
Thu, 23 Oct 2025 15:29:11 +0000 (16:29 +0100)
This now matches the tests workflow.

.github/workflows/lint.yml

index 7f15045f74ee431e370ca0051cbfa2cc79b25e8c..921c57fc2a53d6f8eb55605ceb53bb29792b16ee 100644 (file)
@@ -6,9 +6,7 @@ on:
     # on.<push|pull_request>.<branches|tags> GitHub Actions docs.
     branches:
       - "**"
-  # Note: trying to exclude pull requests because it results in duplicate job
-  # on the commits belonging to pull requests.
-  # pull_request:
+  pull_request:
   schedule:
     - cron: '18 6 * * *'