mirror of
https://github.com/NotAShelf/microfetch.git
synced 2025-12-10 06:53:52 +00:00
Compare commits
3 commits
75132ff172
...
353b78e688
| Author | SHA1 | Date | |
|---|---|---|---|
|
353b78e688 |
|||
|
6f8d1ffa83 |
|||
|
07afedd0cc |
3 changed files with 23 additions and 29 deletions
46
.github/workflows/hotpath-comment.yml
vendored
46
.github/workflows/hotpath-comment.yml
vendored
|
|
@ -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"
|
|
||||||
|
|
|
||||||
|
|
@ -43,7 +43,7 @@ on your system: it is pretty _[fast](#benchmarks)_...
|
||||||
- Fast
|
- Fast
|
||||||
- Really fast
|
- Really fast
|
||||||
- Minimal dependencies
|
- Minimal dependencies
|
||||||
- Tiny binary (~410kb)
|
- Tiny binary (~370kb)
|
||||||
- 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,7 +160,8 @@ 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`.
|
||||||
|
|
|
||||||
|
|
@ -20,6 +20,7 @@ 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)
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue