fix(ci): make documentation comment posting optional

The GitHub Actions token doesn't have permission to post commit comments
in some repository configurations. Since the comment is non-essential
(only informational), make it continue-on-error to prevent failing the
entire workflow when comment posting fails.

Author: ahojukka5

.github/workflows/docs.yml

@@ -137,6 +137,7 @@ jobs:
       - name: Comment on commit (success)
         if: success()
         uses: actions/github-script@v7
+        continue-on-error: true
         with:
           script: |
             github.rest.repos.createCommitComment({