From b76f6adcaf88ce4ea64dcf67d238510b6d89054e Mon Sep 17 00:00:00 2001
From: Johan Mabille <johan.mabille@gmail.com>
Date: Tue, 23 May 2023 15:25:35 +0200
Subject: [PATCH] Runs extended_ci on PR

---
 .github/workflows/ci_extended.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci_extended.yaml b/.github/workflows/ci_extended.yaml
index 94a5915e8..9cec635a0 100644
--- a/.github/workflows/ci_extended.yaml
+++ b/.github/workflows/ci_extended.yaml
@@ -2,6 +2,7 @@ name: Extra CI
 
 on:
   workflow_dispatch:
+  pull_request:
   push:
     branches: [master]