Fix gh-pages push race condition and increase PIT memory

Add retry loop (3 attempts with backoff) to gh-pages push in all
workflows to handle concurrent pushes from parallel CI jobs.
Increase PIT minion heap from 2048m to 4096m to prevent RUN_ERROR
crashes on GitHub Actions runners.

Made-with: Cursor

Author: dbenn

.github/workflows/checkerframework.yml

@@ -158,5 +158,8 @@ jobs:
         git add -A
         git diff --cached --quiet && exit 0
         git commit -m "Update Checker Framework data [${DATE}]"
-        git pull --rebase origin gh-pages || true
-        git push origin gh-pages
+        for i in 1 2 3; do
+          git pull --rebase origin gh-pages && git push origin gh-pages && break
+          echo "Push attempt $i failed, retrying in $((i * 5))s..."
+          sleep $((i * 5))
+        done

.github/workflows/pit.yml

@@ -201,5 +201,8 @@ jobs:
         git add -A
         git diff --cached --quiet && exit 0
         git commit -m "Update PIT mutation data [${DATE}]"
-        git pull --rebase origin gh-pages || true
-        git push origin gh-pages
+        for i in 1 2 3; do
+          git pull --rebase origin gh-pages && git push origin gh-pages && break
+          echo "Push attempt $i failed, retrying in $((i * 5))s..."
+          sleep $((i * 5))
+        done

.github/workflows/plugin-UT.yml

@@ -226,5 +226,8 @@ jobs:
         git add -A
         git diff --cached --quiet && exit 0
         git commit -m "Update plugin coverage data [${DATE}]"
-        git pull --rebase origin gh-pages || true
-        git push origin gh-pages
+        for i in 1 2 3; do
+          git pull --rebase origin gh-pages && git push origin gh-pages && break
+          echo "Push attempt $i failed, retrying in $((i * 5))s..."
+          sleep $((i * 5))
+        done

.github/workflows/spotbugs.yml

@@ -169,5 +169,8 @@ jobs:
         git add -A
         git diff --cached --quiet && exit 0
         git commit -m "Update SpotBugs data [${DATE}]"
-        git pull --rebase origin gh-pages || true
-        git push origin gh-pages
+        for i in 1 2 3; do
+          git pull --rebase origin gh-pages && git push origin gh-pages && break
+          echo "Push attempt $i failed, retrying in $((i * 5))s..."
+          sleep $((i * 5))
+        done

.github/workflows/vstar-UT.yml

@@ -223,5 +223,8 @@ jobs:
         git add -A
         git diff --cached --quiet && exit 0
         git commit -m "Update VStar coverage data [${DATE}]"
-        git pull --rebase origin gh-pages || true
-        git push origin gh-pages
+        for i in 1 2 3; do
+          git pull --rebase origin gh-pages && git push origin gh-pages && break
+          echo "Push attempt $i failed, retrying in $((i * 5))s..."
+          sleep $((i * 5))
+        done

build.xml

@@ -499,7 +499,7 @@
 			<pathelement path="${test_build}" />
 		</path>
 		<!-- export feature activated to write mutants to file -->
-		<pitest features="+EXPORT" threads="1" pitClasspath="pitest.classpath" classPath="mutation.path" targetClasses="org.aavso.tools.vstar.*" targetTests="org.aavso.tools.vstar.*" excludedtestclasses="org.aavso.tools.vstar.util.period.dcdft.*,org.aavso.tools.vstar.util.stats.DescStatsTest,org.aavso.tools.vstar.util.stats.anova.*" reportDir="${mutation_coverage_dir}" sourceDir="${src}" outputFormats="XML,HTML" timeoutConst="10000" timeoutFactor="2" jvmArgs="-Xmx2048m" />
+		<pitest features="+EXPORT" threads="1" pitClasspath="pitest.classpath" classPath="mutation.path" targetClasses="org.aavso.tools.vstar.*" targetTests="org.aavso.tools.vstar.*" excludedtestclasses="org.aavso.tools.vstar.util.period.dcdft.*,org.aavso.tools.vstar.util.stats.DescStatsTest,org.aavso.tools.vstar.util.stats.anova.*" reportDir="${mutation_coverage_dir}" sourceDir="${src}" outputFormats="XML,HTML" timeoutConst="10000" timeoutFactor="2" jvmArgs="-Xmx4096m" />
 	</target>
 
 	<!-- Static analysis targets -->