github-actionify: generalize build exec step name

ctrueden · ctrueden · commit 58ecce66a538 · 2021-07-01T14:05:44.000-05:00
There may be other build steps performed beyond only Maven.
diff --git a/github-actionify.sh b/github-actionify.sh
@@ -159,7 +159,7 @@ jobs:
           distribution: 'zulu'
       - name: Set up CI environment
         run: $ciSetupScript
-      - name: Build with Maven
+      - name: Execute the build
         run: $ciBuildScript
         env:
           GPG_KEY_NAME: \${{ secrets.GPG_KEY_NAME }}
@@ -206,7 +206,7 @@ jobs:
           distribution: 'zulu'
       - name: Set up CI environment
         run: $ciSetupScript
-      - name: Build with Maven
+      - name: Execute the build
         run: $ciBuildScript
 EOL
 	update "$ciConfigBuildPR" "add/update PR build action"
