RONDB-767: Make release build optional for ARM CI (#561)

.github/workflows/publish_rondb.yml

@@ -1,6 +1,11 @@
 name: Publish RonDB Tarball
 on:
   workflow_dispatch:
+    inputs:
+      release_build:
+        required: true
+        type: boolean
+        default: false
   push:
     branches:
       - "21.04.[0-9]+"
@@ -54,12 +59,21 @@ jobs:
       - name: Build RonDB Tarball
         run: |
           BUILD_CORES=$(nproc)
+          echo "Building RonDB tarball with $BUILD_CORES cores"
+
+          EXTRA_ARGS="--build-arg RELEASE_TARBALL=1"
+          if [ "${{ github.event_name }}" == "workflow_dispatch" ]; then
+            if [ "${{ github.event.inputs.release_build }}" == "false" ]; then
+              EXTRA_ARGS=""
+            fi
+          fi
+
           docker buildx build . \
             -f Dockerfile.oraclelinux8 \
             --target get-package-all \
             --output . \
             --build-arg BUILD_THREADS=$BUILD_CORES \
-            --build-arg RELEASE_TARBALL=1
+            $EXTRA_ARGS
 
           ls -l