update GitHub Actions workflow to handle manual triggers and improve …

…nightly commit checks
BrightXiaoHan · Jan 21, 2025 · 1c1c158 · 1c1c158
1 parent 90150d1
commit 1c1c158
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -128,8 +128,10 @@ jobs:
           else
             NIGHTLY_COMMIT=""
           fi
-          # Compare the hashes
-          if [ "$MAIN_LATEST" = "$NIGHTLY_COMMIT" ]; then
+          if [ "${{ github.event_name }}" = "workflow_dispatch" ]; then
+            echo "Manual trigger detected."
+            echo "::set-output name=should_run::true"
+          elif [ "$MAIN_LATEST" = "$NIGHTLY_COMMIT" ]; then
             echo "Nightly tag is already up-to-date with the latest main commit."
             echo "::set-output name=should_run::false"
           else