workflows: Enable kernel rebuild on workflow_dispatch events (#107)

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>
Locietta · Jan 27, 2025 · ddfd35d · ddfd35d
1 parent 8a069a4
commit ddfd35d
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
@@ -70,7 +70,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
@@ -69,7 +69,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