From 83173fef17f84ca5a397ced74921ec95a196a50d Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Thu, 11 Jul 2024 11:19:08 +0200
Subject: [PATCH] Avoid superfluous duplicate jobs on PRs

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6b184288b..811c1c524 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -3,6 +3,10 @@ name: "CI"
 on:
   pull_request:
   push:
+    branches:
+      - detsys-main
+      - main
+      - master
 
 permissions:
   id-token: "write"