From 8c982b898c30fa20332c8064831ec6975a85cf37 Mon Sep 17 00:00:00 2001 From: Jean Bisutti Date: Tue, 3 Mar 2026 21:54:23 +0100 Subject: [PATCH] Prevent duplicate CI runs on pull requests --- .github/workflows/CI.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index e34afec..66af64b 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,6 +1,9 @@ name: CI -on: [push, pull_request] +on: + push: + branches: [main] + pull_request: jobs: linux: