Fix the release workflow

* Try harder to skip mega-melt when releasing.
* Change release workflow name to "release".

Author: ctrueden

.github/build.sh

@@ -1,9 +1,17 @@
 #!/bin/sh
+
+# Discern whether this is a release build.
+releasing=
+if [ -f release.properties ]; then
+  releasing=1
+fi
+
+# Run the SciJava CI build script.
 curl -fsLO https://raw.githubusercontent.com/scijava/scijava-scripts/master/ci-build.sh &&
 sh ci-build.sh || { echo "Maven build failed. Skipping melting pot tests."; exit 1; }
 
-if [ -f release.properties ]; then
-  # Skip melting pot when cutting a release.
+# Skip melting pot if cutting a release.
+if [ "$releasing" ]; then
   exit 0
 fi
 

.github/workflows/release.yml

@@ -1,4 +1,4 @@
-name: build
+name: release
 
 on:
   push: