Merge pull request #2136 from waja/ci_dispatch

This commit is contained in:
waja 2025-07-23 15:43:59 +02:00 committed by GitHub
commit 04fa8ae9e2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3 additions and 0 deletions

View file

@ -13,6 +13,7 @@
name: "CodeQL"
on:
workflow_dispatch: {}
push:
branches: [master]
pull_request:

View file

@ -2,6 +2,7 @@
name: Spellcheck
on:
workflow_dispatch: {}
# Run for pushes on any branch
push:
branches:

View file

@ -2,6 +2,7 @@
name: Tests
on:
workflow_dispatch: {}
push:
branches:
- '*'