test

.github/workflows/build-test.yml

@@ -23,6 +23,16 @@ jobs:
             - 'jtag/**'
           docs:
             - 'doc/org.eclipse.cdt.doc.user/**'
+    - uses: actions/github-script@v7
+      if: (success() || failure()) && steps.filter.outputs.docs
+      with:
+        script: |
+          github.rest.issues.createComment({
+            issue_number: context.issue.number,
+            owner: context.repo.owner,
+            repo: context.repo.repo,
+            body: '👋 Thanks for updating the documentation! As part of the GitHub action the HTML will be generated and added to the artifacts of this run.'
+          })
     - name: Set up JDK 21
       uses: actions/setup-java@v4
       with: