Skip to content

Use bench profile for benchmarks#41

Merged
ctz merged 1 commit intomainfrom
jbp-profile-bench
Feb 25, 2026
Merged

Use bench profile for benchmarks#41
ctz merged 1 commit intomainfrom
jbp-profile-bench

Conversation

@ctz
Copy link
Member

@ctz ctz commented Feb 25, 2026

@ctz ctz requested a review from djc February 25, 2026 17:02
@ctz ctz merged commit 17ef12b into main Feb 25, 2026
9 checks passed
@ctz ctz deleted the jbp-profile-bench branch February 25, 2026 17:09
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