From 07afedd0cc4a49630b23ea830fe56c847eff06da Mon Sep 17 00:00:00 2001 From: NotAShelf Date: Mon, 17 Nov 2025 21:42:38 +0300 Subject: [PATCH 1/3] docs: update binary size Signed-off-by: NotAShelf Change-Id: I1a9189f90666d7efc010a7255c287bd86a6a6964 --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5ae0f72..a40e444 100644 --- a/README.md +++ b/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`. From 6f8d1ffa83fec677001e48de51c3a930885d647d Mon Sep 17 00:00:00 2001 From: NotAShelf Date: Mon, 17 Nov 2025 21:48:15 +0300 Subject: [PATCH 2/3] nix: include benches in source filter; fix build Signed-off-by: NotAShelf Change-Id: Id78ee5f62a5168feef09b5f8713b107c6a6a6964 --- nix/package.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/package.nix b/nix/package.nix index 5bb387c..dca3cc2 100644 --- a/nix/package.nix +++ b/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) ]; }; From 353b78e688ddffd86540bf336b52568499f980ec Mon Sep 17 00:00:00 2001 From: NotAShelf Date: Tue, 18 Nov 2025 00:07:26 +0300 Subject: [PATCH 3/3] ci: fix hotpath-comment usage Signed-off-by: NotAShelf Change-Id: Idc163948f012efb07fc7a6a952af54b36a6a6964 --- .github/workflows/hotpath-comment.yml | 46 +++++++++++---------------- 1 file changed, 19 insertions(+), 27 deletions(-) diff --git a/.github/workflows/hotpath-comment.yml b/.github/workflows/hotpath-comment.yml index 395a533..8f83d00 100644 --- a/.github/workflows/hotpath-comment.yml +++ b/.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 }}