summaryrefslogtreecommitdiff
path: root/.github/workflows/metrics_comment.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/metrics_comment.yml')
-rw-r--r--.github/workflows/metrics_comment.yml39
1 files changed, 0 insertions, 39 deletions
diff --git a/.github/workflows/metrics_comment.yml b/.github/workflows/metrics_comment.yml
deleted file mode 100644
index 5d250211f..000000000
--- a/.github/workflows/metrics_comment.yml
+++ /dev/null
@@ -1,39 +0,0 @@
-name: Metrics Comment
-
-on:
- workflow_run:
- workflows: ["Build"]
- types:
- - completed
-
-jobs:
- post-comment:
- runs-on: ubuntu-latest
- if: >
- github.event.workflow_run.event == 'pull_request' &&
- github.event.workflow_run.conclusion == 'success'
- permissions:
- actions: read
- pull-requests: write
- steps:
- - name: Download Artifacts
- uses: actions/download-artifact@v5
- with:
- run-id: ${{ github.event.workflow_run.id }}
- github-token: ${{ secrets.GITHUB_TOKEN }}
- name: metrics-comment
-
- - name: Read PR Number
- id: pr_number
- run: |
- if [ -f pr_number.txt ]; then
- echo "number=$(cat pr_number.txt)" >> $GITHUB_OUTPUT
- fi
-
- - name: Post Code Metrics as PR Comment
- if: steps.pr_number.outputs.number != ''
- uses: marocchino/sticky-pull-request-comment@v2
- with:
- header: code-metrics
- path: metrics_compare.md
- number: ${{ steps.pr_number.outputs.number }}