added the korro task and the relevant new sources to the generated-sources.yml gh action

Author: Jolanrensen

.github/workflows/generated-sources.yml

@@ -35,18 +35,18 @@ jobs:
           git config --global user.name "GitHub Actions"
 
       - name: Run Gradle task
-        run: ./gradlew :core:processKDocsMain
+        run: ./gradlew :core:processKDocsMain korro
 
       - name: Check for changes in generated sources
         id: git-diff
-        run: echo "::set-output name=changed::$(if git diff --quiet './core/generated-sources'; then echo 'false'; else echo 'true'; fi)"
+        run: echo "::set-output name=changed::$(if git diff --quiet './core/generated-sources' './docs/StardustDocs/snippets' './docs/StardustDocs/topics'; then echo 'false'; else echo 'true'; fi)"
 
       - name: Commit and push if changes
         id: git-commit
         if: steps.git-diff.outputs.changed == 'true'
         run: |
           git checkout -b generated-sources/docs-update-${{ github.run_number }}
-          git add './core/generated-sources'
+          git add './core/generated-sources' './docs/StardustDocs/snippets' './docs/StardustDocs/topics'
           git commit -m "Update generated sources with recent changes"
           git push origin generated-sources/docs-update-${{ github.run_number }}
           echo "::set-output name=commit::$(git rev-parse HEAD)"