luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Internals: Add 'RTLMeter PR results' workflow v3

This commit is contained in:
Geza Lore 2025-08-31 17:00:35 +01:00
parent 9953851287
commit 34e3892367
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/rtlmeter-pr-results.yml vendored
View File

@ -27,10 +27,16 @@ jobs:
name: rtlmeter-pr-results name: rtlmeter-pr-results
run-id: ${{ github.event.workflow_run.id }} run-id: ${{ github.event.workflow_run.id }}
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Download PR number
uses: actions/download-artifact@v4
with:
name: pr-number
run-id: ${{ github.event.workflow_run.id }}
github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Comment on PR - name: Comment on PR
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
ls -la ls -la
cat report.txt cat report.txt
gh pr --repo ${{ github.repository }} comment ${{ github.event.workflow_run.pull_requests[0].number }} --body-file report.txt gh pr --repo ${{ github.repository }} comment $(cat pr-number.txt) --body-file report.txt