Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 16 additions & 12 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,25 +11,29 @@ name: CodeQL

on:
push:
# Run on every branch push so Scorecard's "% of commits scanned by SAST"
# check sees coverage on intermediate / feature commits, not just main.
# The concurrency group below cancels superseded runs on the same ref.
branches: ['**']
# Direct pushes to main only (post-merge). PR commits are covered
# by the pull_request event below.
#
# Scorecard's SAST check counts merged PRs on the default branch
# and asks whether a SAST tool ran successfully on each PR's HEAD
# commit. Every commit landing in main arrives via a merged PR
# (pull_request scan) or a direct push (push scan), so coverage is
# complete without the `['**']` net that triggered duplicate runs
# for every PR commit — push and pull_request fired on the same
# SHA, one was cancelled by the concurrency group, leaving noisy
# "cancelled" entries on every PR's checks page.
branches: [main]
pull_request:
branches: [main]
schedule:
# Sunday 04:23 UTC — off-peak, off-Monday-morning.
- cron: '23 4 * * 0'
workflow_dispatch:

# Cancel in-progress runs for the same commit when a new event lands.
# Key on commit SHA (PR head when triggered by pull_request, pushed SHA
# otherwise) instead of github.ref. With `push: branches: ['**']` and
# `pull_request: branches: [main]` both active, a single PR commit
# triggers two runs — one for the push event (refs/heads/<branch>) and
# one for the PR event (refs/pull/N/merge). Keying on ref leaves both
# in distinct groups, so neither cancels the other. SHA-keyed grouping
# dedups them. Codex round-2 P2 catch on PR #264.
# SHA-keyed dedup so a manual rerun on the same commit supersedes the
# in-flight one. With push restricted to main + pull_request on PRs,
# a single commit no longer fires two events; no PR-side cancellation
# noise.
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.head.sha || github.sha }}
cancel-in-progress: true
Expand Down
19 changes: 10 additions & 9 deletions .github/workflows/fuzz.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,13 @@ name: Go Fuzz

on:
push:
# Run on every branch push so fuzz coverage is contiguous, not just
# at PR-open and merge. Concurrency group below cancels superseded
# runs on the same ref.
branches: ['**']
# Direct pushes to main only (post-merge). PR commits are covered
# by the pull_request event below; the weekly cron picks up corpus
# the per-PR 30s budget cannot reach. Scorecard's Fuzzing check is
# static-detection only ("is there a *_fuzz_test.go using
# testing.F wired into CI") — it doesn't measure run frequency, so
# restricting to main does not affect the Fuzzing score.
branches: [main]
pull_request:
branches: [main]
schedule:
Expand All @@ -39,11 +42,9 @@ on:
- cron: '17 7 * * 1'
workflow_dispatch:

# Cancel in-progress runs for the same commit when a new event lands.
# SHA-keyed (PR head SHA or push SHA) instead of ref-keyed, so a single
# PR commit doesn't run twice — once for the push:[**] event and once
# for the pull_request event with different github.ref values. Same
# fix as codeql.yml. Codex round-2 P2 catch on PR #264.
# SHA-keyed dedup so a manual rerun on the same commit supersedes the
# in-flight one. With push restricted to main + pull_request on PRs,
# a single commit no longer fires two events.
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.head.sha || github.sha }}
cancel-in-progress: true
Expand Down
Loading