Skip to content

chore: Update docs - #600

Merged
pawurb merged 2 commits into
mainfrom
worktree-diff-page
Sep 20, 2026
Merged

pawurb merged 2 commits into
mainfrom
worktree-diff-page

Conversation

@pawurb

@pawurb pawurb commented Sep 20, 2026

Copy link
Copy Markdown
Owner

No description provided.

@pawurb

pawurb commented Sep 20, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. You're on a roll.

Reviewed commit: 2a6d6a1860

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@hotpath-rs

hotpath-rs Bot commented Sep 20, 2026

Copy link
Copy Markdown

hotpath meta · ⛔ 1 regression

4b7f9ae (worktree-diff-page) against baseline e9d026e (main), 1 improvement.

hotpath_drain::EventQueueRegistry::sweep: calls 774 → 809 +4.5%
🚀 hotpath_drain::EventQueue::drain_into: calls 1097 → 1082 -1.4%

Full diff ↗ · Head report ↗ · Baseline report ↗ · Policy ↗

Related metrics

Allocations Calls Avg Total % Total
hotpath_drain::EventQueueRegistry::sweep 774 → 809 0 B → 0 B 0 B → 0 B 0.0% → 0.0%
hotpath_drain::EventQueue::drain_into 1097 → 1082 315.5 KB → 319.9 KB 338.0 MB → 338.0 MB 10.6% → 10.6%
Timing Calls Avg Total % Total
hotpath_drain::EventQueueRegistry::sweep 774 → 809 1.26 ms → 1.37 ms 976.58 ms → 1.11 s +14% 7.7% → 8.3%
hotpath_drain::EventQueue::drain_into 1097 → 1082 879.69 µs → 1.02 ms +16% 965.02 ms → 1.10 s +14% 7.6% → 8.2%

Generated with hotpath Diff

@pawurb pawurb changed the title docs: Add the Diff section with a work-in-progress intro page chore: Add the Diff section with a work-in-progress intro page Sep 20, 2026
@pawurb pawurb changed the title chore: Add the Diff section with a work-in-progress intro page chore: Update docs Sep 20, 2026
@pawurb
pawurb merged commit 275adf5 into main Sep 20, 2026
23 checks passed
@pawurb
pawurb deleted the worktree-diff-page branch September 20, 2026 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant