From 2e2a6f86eb33aea89033a11648fdcd9a97f915aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David--Cl=C3=A9ris=20Timoth=C3=A9e?= Date: Wed, 5 Aug 2026 11:41:16 +0200 Subject: [PATCH] Add push event trigger to on_pr.yml workflow --- .github/workflows/on_pr.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/on_pr.yml b/.github/workflows/on_pr.yml index 5d190b9..5aec9b0 100644 --- a/.github/workflows/on_pr.yml +++ b/.github/workflows/on_pr.yml @@ -4,6 +4,7 @@ name: on PR on: pull_request: merge_group: + push: jobs: build1: