Merge commit 'bfa74537929f409fca841540b971125b7678963a'

This commit is contained in:
Bjørn Erik Pedersen
2025-08-23 12:39:28 +02:00
196 changed files with 2243 additions and 1951 deletions

View File

@@ -15,7 +15,7 @@ jobs:
steps:
- name: Checkout repository
uses: actions/checkout@v4
uses: actions/checkout@v5
- name: Initialize CodeQL
uses: github/codeql-action/init@v3