ci: fix hotpath-comment usage

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

.github/workflows/hotpath-comment.yml

@@ -33,25 +33,17 @@ jobs:
         run: cargo install hotpath
 
       - name: Post timing comparison comment
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          run: |
            hotpath profile-pr \
-            --repo ${{ github.repository }} \
+             --head-metrics head-timing.json \
-            --pr-number ${{ steps.pr.outputs.number }} \
+             --base-metrics base-timing.json \
-            --head-json head-timing.json \
+             --github-token ${{ secrets.GITHUB_TOKEN }} \
-            --base-json base-timing.json \
+             --pr-number ${{ steps.pr.outputs.number }}
-            --mode timing \
-            --title "⏱️ Hotpath Timing Profile"
 
        - name: Post allocation comparison comment
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          run: |
            hotpath profile-pr \
-            --repo ${{ github.repository }} \
+             --head-metrics head-alloc.json \
-            --pr-number ${{ steps.pr.outputs.number }} \
+             --base-metrics base-alloc.json \
-            --head-json head-alloc.json \
+             --github-token ${{ secrets.GITHUB_TOKEN }} \
-            --base-json base-alloc.json \
+             --pr-number ${{ steps.pr.outputs.number }}
-            --mode alloc \
-            --title "📊 Hotpath Allocation Profile"

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)
         ];
       };