diff options
| author | Hans Kristian Rosbach <hk-git@circlestorm.org> | 2026-03-09 11:22:21 +0100 |
|---|---|---|
| committer | Hans Kristian Rosbach <hk-github@circlestorm.org> | 2026-03-10 16:10:07 +0100 |
| commit | 525c8f12a52c9b65f9a7ceff2e869746e0469e51 (patch) | |
| tree | 5882647d50f42fab61713c69df0f142007270421 /.github/workflows/codeql.yml | |
| parent | 141811c3547caf7273bc27b376475384e79099ed (diff) | |
| download | Project-Tick-525c8f12a52c9b65f9a7ceff2e869746e0469e51.tar.gz Project-Tick-525c8f12a52c9b65f9a7ceff2e869746e0469e51.zip | |
Make orchestrator the parent of most workflows, and let it handle
most automatic cancellations of workflows when new commits are pushed.
Workflows 'fuzz', 'lint' and 'release' have different triggers,
so handle those separately.
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index b54af665d4..25fcc6a7b0 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -1,12 +1,10 @@ -name: "CodeQL" +name: CodeQL on: - push: - branches: [ "develop" ] - pull_request: - branches: [ "develop" ] + workflow_call: workflow_dispatch: schedule: - cron: "27 17 * * 0" + jobs: analyze: name: Analyze |