V8.03.148.2025.06.02

Signed-off-by: Marc S. Weidner <msw@coresecret.dev>

.gitea/workflows/render-md-to-html.yaml

@@ -111,12 +111,12 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y pandoc
 
-      #- name: Ensure .html/ directory exists.
+      #- name: ⚙️ Ensure .html/ directory exists.
       #  shell: bash
       #  run:
       #    mkdir -p .html
 
-      #- name: Render *.md to full standalone HTML.
+      #- name: 🛠️ Render *.md to full standalone HTML.
       #  shell: bash
       #  run: |
       #    set -euo pipefail
@@ -134,7 +134,7 @@ jobs:
       #        -o .html/"${out}"
       #    done
 
-      - name: 📥 Extract HTML fragment for Gitea for *.md.
+      - name: 🛠️ Extract HTML fragment for Gitea for *.md.
         shell: bash
         run: |
           set -euo pipefail
@@ -174,7 +174,7 @@ jobs:
           GIT_SSH_COMMAND: "ssh -p 42842"
         run: |
           set -euo pipefail
-          git add *.html  || echo "ℹ️ Nothing to add."
+          git add *.html  || echo "✔️ Nothing to add."
 
       - name: 🔑 Commit and sign changes with CI metadata.
         shell: bash
@@ -185,7 +185,7 @@ jobs:
           export GNUPGHOME="$(pwd)/.gnupg"
 
           if git diff --cached --quiet; then
-            echo "ℹ️ No staged changes to commit."
+            echo "✔️ No staged changes to commit."
           else
             echo "📝 Committing changes with GPG signature ..."