From 8b25f2e16b9bec1522e50fd6f3ffec80248e4f74 Mon Sep 17 00:00:00 2001
From: Mikael CAPELLE <mikael.capelle@thalesaleniaspace.com>
Date: Mon, 10 Jul 2023 13:47:28 +0200
Subject: [PATCH] Run lint on PR too.

---
 .github/workflows/linting.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml
index 332cd772..db7c755e 100644
--- a/.github/workflows/linting.yml
+++ b/.github/workflows/linting.yml
@@ -1,5 +1,8 @@
 name: Lint UIBase
-on: [push]
+on:
+  push:
+  pull_request:
+    types: [opened, synchronize, reopened]
 jobs:
   lint:
     runs-on: ubuntu-latest