Compare commits

..

No commits in common. "353b78e688ddffd86540bf336b52568499f980ec" and "75132ff17239b2778ee1e36308a6b011579400e6" have entirely different histories.

3 changed files with 29 additions and 23 deletions

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,29 +21,37 @@ 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
run: | env:
hotpath profile-pr \ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
--head-metrics head-timing.json \ run: |
--base-metrics base-timing.json \ hotpath profile-pr \
--github-token ${{ secrets.GITHUB_TOKEN }} \ --repo ${{ github.repository }} \
--pr-number ${{ steps.pr.outputs.number }} --pr-number ${{ steps.pr.outputs.number }} \
--head-json head-timing.json \
- name: Post allocation comparison comment --base-json base-timing.json \
run: | --mode timing \
hotpath profile-pr \ --title "⏱️ Hotpath Timing Profile"
--head-metrics head-alloc.json \
--base-metrics base-alloc.json \ - name: Post allocation comparison comment
--github-token ${{ secrets.GITHUB_TOKEN }} \ env:
--pr-number ${{ steps.pr.outputs.number }} 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"

View file

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

View file

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