diff options
| author | waja <waja@users.noreply.github.com> | 2025-07-23 15:43:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-23 15:43:59 +0200 |
| commit | 04fa8ae9e201af3dfd01aab12e4a403f8e211865 (patch) | |
| tree | da33f289cf55b7292fad273031813d3ec18273e1 /.github/workflows/codeql-analysis.yml | |
| parent | da810e0dbe5fb1146c35ebf02fffdbaf4de06e51 (diff) | |
| parent | d2bea1d288328d2d387d587b38a0efeba1becc97 (diff) | |
| download | monitoring-plugins-04fa8ae9.tar.gz | |
Merge pull request #2136 from waja/ci_dispatch
Diffstat (limited to '.github/workflows/codeql-analysis.yml')
| -rw-r--r-- | .github/workflows/codeql-analysis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index c402e0cf..e748d2eb 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml | |||
| @@ -13,6 +13,7 @@ | |||
| 13 | name: "CodeQL" | 13 | name: "CodeQL" |
| 14 | 14 | ||
| 15 | on: | 15 | on: |
| 16 | workflow_dispatch: {} | ||
| 16 | push: | 17 | push: |
| 17 | branches: [master] | 18 | branches: [master] |
| 18 | pull_request: | 19 | pull_request: |