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}).` + })