From 11b5c524d2f4880ff6e8c9ccd694b9a0a4d9d6ee Mon Sep 17 00:00:00 2001
From: Eyal Rozenberg <eyalroz1@gmx.com>
Date: Sat, 21 Oct 2023 10:44:50 +0300
Subject: [PATCH] Specify branches for CodeQL (including develop)

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

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 8164922..6b59bed 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -12,8 +12,8 @@
 name: "CodeQL"
 
 on:
-  # push:
-  #   branches: [ "main", "master" ]
+  push:
+    branches: [ "main", "master", "develop" ]
   schedule:
     - cron: '0 0 * * *'
   pull_request: