Don't mark commits that are not yet ready to merge as failed in CI

ethz-asl · Oct 13, 2023 · 5967f12 · 5967f12
1 parent 8a06cb6
commit 5967f12
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/release_management.yml b/.github/workflows/release_management.yml
@@ -112,10 +112,8 @@ jobs:
 
           if dpkg --compare-versions $version_main "lt" $version_local; then
             echo "Local version ($version_local) is ahead of origin main ($version_main)"
-            exit 0
           else
-            echo "Local version ($version_local) lags origin main ($version_main)"
-            exit 1
+            echo "::warning title=Not ready to merge::Local version ($version_local) lags origin main ($version_main)"
           fi
 
   tag-release: