From e9434b02cb3c73e23de730f0a37ed9daa47d0223 Mon Sep 17 00:00:00 2001
From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Date: Sun, 19 Jul 2026 10:14:28 +0000
Subject: [PATCH] Allow manual runs of CI and CodeQL via workflow_dispatch

Co-Authored-By: Andreas Igel <andreas.igel@computacenter.com>
---
 .github/workflows/codeql.yml | 1 +
 .github/workflows/maven.yml  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index d4bcb94f..6ce181a1 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -18,6 +18,7 @@ on:
     branches: [ "main" ]
   schedule:
     - cron: '20 2 * * 2'
+  workflow_dispatch:
 
 jobs:
   analyze:
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 5fa54732..f6511c48 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -14,6 +14,7 @@ on:
   pull_request:
     branches: [ "main" ]
     types: [opened, synchronize, reopened]
+  workflow_dispatch:
 
 jobs:
   build: