From a26aa8b18fd966f81fc19b69ff13c88aa24e1245 Mon Sep 17 00:00:00 2001
From: RDW <duckwhale@mail.ru>
Date: Fri, 9 Feb 2024 17:42:42 +0100
Subject: [PATCH] CI: Enable the CodeQL workflow to run for PR updates

Not sure if I forgot to enable this or didn't want it, but I guess it's an opportunity to exercise the all-in-one build script.
---
 .github/workflows/codeql.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 032a33678..25472198e 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -1,9 +1,28 @@
 name: Semantic Analysis
 
 on:
+  push:
+    branches:
+      - main
+    tags:
+      - '*'
+    paths-ignore:
+      - '**.md'
+  pull_request:
+    types: [opened, synchronize, reopened, ready_for_review]
+    branches:
+      - main
+    paths-ignore:
+      - '**.md'
+      - 'changelog.lua'
+      - '.gitignore'
   schedule:
     - cron: '00 00 * * 6'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     name: Scan with CodeQL