workflows: Force rebuild on workflow_dispatch

workflow_dispatch is very useful for when I want to manually rebuild the kernel. Hence ensure that the kernel get built when its manually triggered by workflow_dispatch Signed-off-by: taalojarvi <sreedevan05@gmail.com>
taalojarvi · Jan 25, 2025 · a76025a · a76025a
1 parent 5dc25e3
commit a76025a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/build-lts.yml b/.github/workflows/build-lts.yml
@@ -72,7 +72,8 @@ jobs:
 
         if [[ $CURRENT_VERSION != $RELEASED_VERSION || \
               ($CURRENT_VERSION = $RELEASED_VERSION && 1 -gt "$RELEASED_MINOR") || \
-              "${{ github.event_name }}" = 'pull_request' ]]; then
+              "${{ github.event_name }}" = 'pull_request' || \
+              "${{ github.event_name }}" = 'workflow_dispatch' ]]; then
           echo "REBUILD_FLAG=1" | tee -a $GITHUB_ENV
         else 
           echo "REBUILD_FLAG=" | tee -a $GITHUB_ENV

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -72,7 +72,8 @@ jobs:
 
         if [[ $CURRENT_VERSION != $RELEASED_VERSION || \
               ($CURRENT_VERSION = $RELEASED_VERSION && 1 -gt "$RELEASED_MINOR") || \
-              "${{ github.event_name }}" = 'pull_request' ]]; then
+              "${{ github.event_name }}" = 'pull_request' || \
+              "${{ github.event_name }}" = 'workflow_dispatch' ]]; then
           echo "REBUILD_FLAG=1" | tee -a $GITHUB_ENV
         else 
           echo "REBUILD_FLAG=" | tee -a $GITHUB_ENV