Skip to content

Add per-phase timing profiler#495

Closed
gabrielbosio wants to merge 8 commits into
mainfrom
feat/bench-timing-profile
Closed

Add per-phase timing profiler#495
gabrielbosio wants to merge 8 commits into
mainfrom
feat/bench-timing-profile

Conversation

@gabrielbosio

Copy link
Copy Markdown
Collaborator

No description provided.

Comment thread scripts/bench_timing_profile.sh Outdated
Comment thread scripts/bench_timing_profile.sh Outdated
Comment thread scripts/bench_timing_profile.sh Outdated
@gabrielbosio
gabrielbosio force-pushed the feat/bench-timing-profile branch from ab2898a to f4dfd1e Compare April 13, 2026 21:38
@gabrielbosio
gabrielbosio marked this pull request as ready for review April 13, 2026 21:38
Comment thread scripts/bench_timing_profile.sh Outdated
@yetanotherco yetanotherco deleted a comment from claude Bot Apr 14, 2026
@yetanotherco yetanotherco deleted a comment from github-actions Bot Apr 14, 2026
@yetanotherco yetanotherco deleted a comment from claude Bot Apr 14, 2026
@yetanotherco yetanotherco deleted a comment from github-actions Bot Apr 14, 2026
@gabrielbosio gabrielbosio mentioned this pull request Apr 14, 2026
@gabrielbosio

Copy link
Copy Markdown
Collaborator Author

Superseded by #507

@gabrielbosio
gabrielbosio deleted the feat/bench-timing-profile branch April 20, 2026 18:15
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.

2 participants