Replace emojis in workflow and job names with text

This change reverts using a 📝 emoji as a UI-facing component within
GitHub Actions CI/CD and related web pages. It has been requested
in the following code review thread:
#97533 (comment)

Co-Authored-By: Adam Turner <[email protected]>

Co-authored-by: Hugo van Kemenade <[email protected]>

Author: webknjaz

.github/workflows/build.yml

@@ -92,6 +92,12 @@ jobs:
         run: |
           echo "run-docs=true" >> "${GITHUB_OUTPUT}"
 
+  check-docs:
+    name: Docs
+    needs: check_source
+    if: fromJSON(needs.check_source.outputs.run-docs)
+    uses: ./.github/workflows/reusable-docs.yml
+
   check_generated_files:
     name: 'Check if generated files are up to date'
     runs-on: ubuntu-latest

.github/workflows/reusable-docs.yml

@@ -1,4 +1,4 @@
-name: 📝
+name: Docs
 
 on:
   workflow_call: