From 1233ab09ab19b2ad3783f39eaca86c3317d02282 Mon Sep 17 00:00:00 2001
From: Daniele Varrazzo <daniele.varrazzo@gmail.com>
Date: Thu, 23 Oct 2025 16:29:11 +0100
Subject: [PATCH] ci: enable lint on pull requests

This now matches the tests workflow.
---
 .github/workflows/lint.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 7f15045f7..921c57fc2 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -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 * * *'
 
-- 
2.47.3