From 7bfd7e50fba310ddb598f1519dca3bc9f6ae6d50 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David--Cl=C3=A9ris=20Timoth=C3=A9e?= Date: Wed, 5 Aug 2026 12:12:44 +0200 Subject: [PATCH] Add main branch to pull request workflow triggers --- .github/workflows/on_pr.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/on_pr.yml b/.github/workflows/on_pr.yml index 5aec9b0..a7a621d 100644 --- a/.github/workflows/on_pr.yml +++ b/.github/workflows/on_pr.yml @@ -5,6 +5,8 @@ on: pull_request: merge_group: push: + branches: + - main jobs: build1: