Github action ci: Make GitHub accept notification from Dashboard (#1187)

.github/workflows/dashboard-done.yml

@@ -0,0 +1,33 @@
+on:
+  workflow_dispatch:
+    inputs:
+      pr_number:
+        description: 'ID of the PR to comment'
+        required: true
+        type: string
+      success:
+        description: 'Is the workflow successful?'
+        required: true
+        type: boolean
+
+permissions:
+  pull-requests: write
+
+jobs:
+  welcome:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/github-script@v6
+        with:
+          script: |
+            const inputs = context.payload.inputs
+            const pr = inputs.pr_number
+            const success = inputs.success == 'true'
+            const status_text = success ? ":heavy_check_mark: successful" : ":x: failed"
+            const url = `https://riscv-ci.pages.thales-invia.fr/dashboard/dashboard_cva6_${pr}.html`
+            await github.rest.issues.createComment({
+              issue_number: pr,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: `${status_text} run, report available [here](${url}).`
+            })