File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4141 # Safety net behind the push trigger, and the thing that keeps the
4242 # default-branch alert view fresh when main is quiet. Only fires once this
4343 # file is on the default branch — schedule events ignore other branches.
44- - cron : ' 17 8 * * *'
44+ # Weekly, not daily: main is already fully scanned on every merge.
45+ - cron : ' 17 8 * * 1'
4546 workflow_dispatch :
4647
47- # Scheduled main scans must run to completion — only PR pushes supersede.
48+ # Only the newest analysis of a ref feeds the alert view, so superseded runs are
49+ # safe to drop. A merge to main can cancel the weekly scan; the push supersedes it.
4850concurrency :
4951 group : codeql-${{ github.ref }}
50- cancel-in-progress : ${{ github.event_name == 'pull_request' }}
52+ cancel-in-progress : true
5153
5254permissions :
5355 contents : read
You can’t perform that action at this time.
0 commit comments