ci: fix hotpath-comment usage

Signed-off-by: NotAShelf <raf@notashelf.dev>
Change-Id: Idc163948f012efb07fc7a6a952af54b36a6a6964

.github/workflows/hotpath-comment.yml

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

README.md

@@ -43,7 +43,7 @@ on your system: it is pretty _[fast](#benchmarks)_...
 - Fast
 - Really fast
 - Minimal dependencies
-- Tiny binary (~410kb)
+- Tiny binary (~370kb)
 - Actually really fast
 - Cool NixOS logo (other, inferior, distros are not supported)
 - Reliable detection of following info:
@@ -160,7 +160,8 @@ performance regressions.
 
 > [!NOTE]
 > You will need a Nerdfonts patched font installed, and for your terminal
-> emulator to support said font. Microfetch uses nerdfonts glyphs by default.
+> emulator to support said font. Microfetch uses nerdfonts glyphs by default,
+> but this can be changed by [patching the program](#customizing).
 
 Microfetch is packaged in [nixpkgs](https://github.com/nixos/nixpkgs). It can be
 installed by adding `pkgs.microfetch` to your `environment.systemPackages`.

nix/package.nix

@@ -20,6 +20,7 @@ in
           (fs.fileFilter (file: builtins.any file.hasExt ["rs"]) (s + /src))
           (s + /Cargo.lock)
           (s + /Cargo.toml)
+          (s + /benches)
         ];
       };