chore: Small improvements to CI pipelines (#26690)

This commit is contained in:
Koen Kanters
2025-03-10 21:09:20 +01:00
committed by GitHub
parent a5195a6eee
commit 78cde99469
11 changed files with 28 additions and 22 deletions
+1 -1
View File
@@ -9,7 +9,7 @@
# the `language` matrix defined below to confirm you have the correct set of
# supported CodeQL languages.
#
name: 'CodeQL'
name: CodeQL
on:
push: