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

Diff for: .github/workflows/package_core.yml

@@ -197,3 +197,30 @@ 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: Define commit status
+        run: |
+          if [ "${{ needs.publish-artifacts.result }}" == "failure" ] ||
+             [ "${{ needs.test-core.result }}" == "failure" ]; then
+            echo "STATUS=failure" >> "$GITHUB_ENV"
+          elif [ "${{ needs.publish-artifacts.result }}" == "skipped" ]; then
+            echo "STATUS=pending" >> "$GITHUB_ENV"
+          else
+            echo "STATUS=success" >> "$GITHUB_ENV"
+          fi
+      - name: Set commit status
+        uses: myrotvorets/[email protected]
+        with:
+          status: ${{ env.STATUS }}
+          context: "Publish core"