ci: publish: update commit status

A 'Publish core' status is added that shows the result of the workflow:

- a green check ('success') if the core is published successfully
- a yellow dot ('pending') if the core is OK but not published (a PR)
- a red cross ('failure') if an error occurred during the workflow

Author: pillo79

.github/workflows/package_core.yml

@@ -195,3 +195,20 @@ jobs:
         with:
           name: ${{ env.PACKAGE_INDEX_JSON }}
           path: ${{ env.PACKAGE_INDEX_JSON }}
+
+  set-final-status:
+    name: Set workflow result
+    runs-on: ubuntu-latest
+    needs:
+      - package-core
+      - test-core
+      - publish-artifacts
+    if: ${{ success() || failure() || needs.publish-artifacts.result == 'skipped' }}
+    permissions:
+      statuses: write
+    steps:
+      - name: Set commit status
+        uses: myrotvorets/[email protected]
+        with:
+          status: ${{ failed() && 'failure' || needs.publish-artifacts.result == 'skipped' && 'pending' || 'success' }}
+          context: "Publish core"