Clean stale files from gh-pages objectionary/ dir on deploy (#5030)

Stage runtime sources into a separate folder and deploy it to the
`objectionary/` target with `clean: true`, so files removed from
`eo-runtime/src/main/eo/` (e.g. `runtime.eo`) no longer linger on
gh-pages. Root-level artifacts keep the additive deploy to preserve
historical `xsd/XMIR-*.xsd` files.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: yegor256

.github/objectionary.sh

@@ -6,12 +6,12 @@ set -euo pipefail
 
 tag=$1
 mkdir -p gh-pages/xsd
-mkdir -p gh-pages/objectionary
+mkdir -p gh-pages-objectionary
 cp eo-parser/target/classes/XMIR.xsd gh-pages/
 cp gh-pages/XMIR.xsd "gh-pages/xsd/XMIR-${tag}.xsd"
-cp -R eo-runtime/src/main/eo/* gh-pages/objectionary/
-find gh-pages/objectionary -name '*.eo' \
+cp -R eo-runtime/src/main/eo/. gh-pages-objectionary/
+find gh-pages-objectionary -name '*.eo' \
   -exec sed -i "s/jvm org.eolang:eo-runtime:0\.0\.0/jvm org.eolang:eo-runtime:${tag}/g" {} +
-find gh-pages/objectionary -name '*.eo' \
+find gh-pages-objectionary -name '*.eo' \
   -exec sed -i "s/version 0\.0\.0/version ${tag}/g" {} +
-find gh-pages/objectionary -name '*.eo' -printf 'objectionary/%P\n' > gh-pages/objectionary.lst
+find gh-pages-objectionary -name '*.eo' -printf 'objectionary/%P\n' > gh-pages/objectionary.lst

.github/workflows/objectionary.yml

@@ -22,6 +22,12 @@ jobs:
           java-version: 21
       - run: mvn install -DskipTests -Dinvoker.skip --errors --batch-mode
       - run: .github/objectionary.sh ${{ github.ref_name }}
+      - uses: JamesIves/github-pages-deploy-action@v4.8.0
+        with:
+          branch: gh-pages
+          folder: gh-pages-objectionary
+          target-folder: objectionary
+          clean: true
       - uses: JamesIves/github-pages-deploy-action@v4.8.0
         with:
           branch: gh-pages