From 7ac89dc70f365f242ca4eefded4f197d9c7db640 Mon Sep 17 00:00:00 2001
From: Sangbida Chaudhuri <101164840+sangbida@users.noreply.github.com>
Date: Thu, 21 Aug 2025 11:00:16 +0930
Subject: [PATCH] ci: Retry CI workflow with changelog

Imagine you've burned the midnight oil trying to get your feature into this latest release that was due yesterday. Sweat is dripping off your brow, but you're proud, you're finally ready to push all your changes and merge!
.
.
.
Only for Github Gandalf the Grey to go "YOU SHALL NOT PASS". Why? Because you did not add a "Changelog-None" to any of commit messages. So you have to go back and try add a full stop here or a new line there and wait for the CI overlords to bless your PR. :'(

Well now, you can just add a Changelog-None to your PR description and github hopefully will take mercy on you and run your CI workflow again :)
---
 .github/workflows/ci.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 5d3b5d25c68d..de198b3cc678 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: