ci: Retry CI workflow with changelog
What changed, and why it matters
This commit changes the project's GitHub Actions CI configuration so that the workflow also runs when a pull request description is edited, but only if the edit includes the word 'Changelog'. It is a developer-convenience change to avoid re-pushing commits just to satisfy a changelog-check bot. There is no security relevance.
No security action needed. Treat as a normal CI workflow improvement.
Security signals we found
No strong security signals were identified.
Evidence from the diff
The diff modifies .github/workflows/ci.yaml. It adds ‘edited’ to the pull_request event types and adds an ‘if’ condition to the pre-build checks job so that edited PRs trigger CI only when the PR body contains the string ‘Changelog’. This allows developers to add ‘Changelog-None’ to the PR description to re-run CI without amending commits. It does not alter application code, cryptographic logic, network handling, or authentication/authorization.
Changed components
.github/workflows/ci.yamlInspect captured patch +4 / −1
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 5d3b5d25..de198b3c 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -5,7 +5,7 @@ on:
branches:
- "master"
pull_request:
-
+ types: [opened, synchronize, edited]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
@@ -22,6 +22,9 @@ jobs:
name: Pre-build checks
runs-on: ubuntu-22.04
timeout-minutes: 30
+ if: |
+ github.event.action != 'edited' ||
+ contains(github.event.pull_request.body, 'Changelog')
env:
BOLTDIR: bolts
strategy:
Why this scored 15/100
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.