This is an automated email from the ASF dual-hosted git repository.
jonah pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/datafusion.git
The following commit(s) were added to refs/heads/main by this push:
new 7e9ea3ad59 Minor: remove vestigal github workflow (#12182)
7e9ea3ad59 is described below
commit 7e9ea3ad59071d56093c197c5ecd5c50021deb94
Author: Andrew Lamb <[email protected]>
AuthorDate: Mon Aug 26 21:38:43 2024 -0400
Minor: remove vestigal github workflow (#12182)
---
.github/workflows/pr_comment.yml | 53 ----------------------------------------
1 file changed, 53 deletions(-)
diff --git a/.github/workflows/pr_comment.yml b/.github/workflows/pr_comment.yml
deleted file mode 100644
index 8b6df1c756..0000000000
--- a/.github/workflows/pr_comment.yml
+++ /dev/null
@@ -1,53 +0,0 @@
-# Downloads any `message` artifacts created by other jobs
-# and posts them as comments to the PR
-name: PR Comment
-
-on:
- workflow_run:
- workflows: ["Benchmarks"]
- types:
- - completed
-
-jobs:
- comment:
- name: PR Comment
- runs-on: ubuntu-latest
- if: github.event.workflow_run.conclusion == 'success'
- steps:
- - name: Dump GitHub context
- env:
- GITHUB_CONTEXT: ${{ toJSON(github) }}
- run: echo "$GITHUB_CONTEXT"
-
- - name: Download comment message
- uses: actions/download-artifact@v4
- with:
- name: message
- run-id: ${{ github.event.workflow_run.id }}
- github-token: ${{ secrets.GITHUB_TOKEN }}
-
- - name: Download pr number
- uses: actions/download-artifact@v4
- with:
- name: pr
- run-id: ${{ github.event.workflow_run.id }}
- github-token: ${{ secrets.GITHUB_TOKEN }}
-
- - name: Print message and pr number
- run: |
- cat pr
- echo "PR_NUMBER=$(cat pr)" >> "$GITHUB_ENV"
- cat message.md
-
- - name: Post the comment
- uses: actions/github-script@v7
- with:
- script: |
- const fs = require('fs');
- const content = fs.readFileSync('message.md', 'utf8');
- github.rest.issues.createComment({
- issue_number: process.env.PR_NUMBER,
- owner: context.repo.owner,
- repo: context.repo.repo,
- body: content,
- })
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
