NotAShelf/microfetch
1
1
Fork 0
mirror of https://github.com/NotAShelf/microfetch.git synced 2025-11-25 16:52:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

ci: fix hotpath-comment usage
Some checks failed
hotpath-comment.yml / ci: fix hotpath-comment usage (push) Failing after 0s
Details

Browse source 
Signed-off-by: NotAShelf <raf@notashelf.dev>
Change-Id: Idc163948f012efb07fc7a6a952af54b36a6a6964
This commit is contained in:
raf 2025-11-18 00:07:26 +03:00
commit 353b78e688
Signed by: NotAShelf
GPG key ID: 29D95B64378DB4BF
1 changed files with 19 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

46
.github/workflows/hotpath-comment.yml vendored
View file

@ -13,7 +13,7 @@ jobs:
comment: comment:
runs-on: ubuntu-latest runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'success' }} if: ${{ github.event.workflow_run.conclusion == 'success' }}
steps: steps:
- name: Download profiling results - name: Download profiling results
uses: actions/download-artifact@v4 uses: actions/download-artifact@v4
@ -21,37 +21,29 @@ jobs:
name: hotpath-results name: hotpath-results
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
run-id: ${{ github.event.workflow_run.id }} run-id: ${{ github.event.workflow_run.id }}
- name: Read PR number - name: Read PR number
id: pr id: pr
run: echo "number=$(cat pr_number.txt)" >> $GITHUB_OUTPUT run: echo "number=$(cat pr_number.txt)" >> $GITHUB_OUTPUT
- name: Setup Rust - name: Setup Rust
uses: actions-rust-lang/setup-rust-toolchain@v1 uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Install hotpath CLI - name: Install hotpath CLI
run: cargo install hotpath run: cargo install hotpath
- name: Post timing comparison comment - name: Post timing comparison comment
env: run: |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} hotpath profile-pr \
run: | --head-metrics head-timing.json \
hotpath profile-pr \ --base-metrics base-timing.json \
--repo ${{ github.repository }} \ --github-token ${{ secrets.GITHUB_TOKEN }} \
--pr-number ${{ steps.pr.outputs.number }} \ --pr-number ${{ steps.pr.outputs.number }}
--head-json head-timing.json \
--base-json base-timing.json \ - name: Post allocation comparison comment
--mode timing \ run: |
--title "⏱️ Hotpath Timing Profile" hotpath profile-pr \
--head-metrics head-alloc.json \
- name: Post allocation comparison comment --base-metrics base-alloc.json \
env: --github-token ${{ secrets.GITHUB_TOKEN }} \
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} --pr-number ${{ steps.pr.outputs.number }}
run: |
hotpath profile-pr \
--repo ${{ github.repository }} \
--pr-number ${{ steps.pr.outputs.number }} \
--head-json head-alloc.json \
--base-json base-alloc.json \
--mode alloc \
--title "📊 Hotpath Allocation Profile"