From e894e86a7b0a067c4635939ee096a01e71126214 Mon Sep 17 00:00:00 2001
From: cathales <124148386+cathales@users.noreply.github.com>
Date: Wed, 19 Apr 2023 11:44:57 +0200
Subject: [PATCH] Github action ci: Make GitHub accept notification from
 Dashboard (#1187)

---
 .github/workflows/dashboard-done.yml | 33 ++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/dashboard-done.yml

diff --git a/.github/workflows/dashboard-done.yml b/.github/workflows/dashboard-done.yml
new file mode 100644
index 000000000..2be0c48fc
--- /dev/null
+++ b/.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}).`
+            })