maint: fix pedantic zizmor problems

This commit is contained in:
Matthias
2026-01-06 09:33:00 +01:00
parent 61274252af
commit f845dc71b1
9 changed files with 39 additions and 12 deletions

View File

@@ -11,6 +11,9 @@ on:
# disable permissions for all of the available permissions
permissions: {}
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
build-docs: