Thanks to visit codestin.com
Credit goes to github.com

Skip to content

chore: rename JalLuiCoreRecord for consistency #1951

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Aug 8, 2025
Merged

chore: rename JalLuiCoreRecord for consistency #1951

merged 1 commit into from
Aug 8, 2025

Conversation

@jonathanpwang
Copy link
Contributor

@jonathanpwang jonathanpwang commented Aug 8, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Aug 8, 2025

group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair (-12 [-1.1%]) 1,104 322,700 18,750,324 - - -
fibonacci (+30 [+1.5%]) 2,094 3,000,420 51,504,507 - - -
regex (+85 [+1.2%]) 6,892 8,217,194 164,734,992 - - -
ecrecover (-42 [-3.6%]) 1,113 280,974 8,866,644 - - -
pairing (+24 [+0.7%]) 3,561 3,765,878 98,834,293 - - -

Commit: 2bf7faf

Benchmark Workflow

@codspeed-hq
Copy link

codspeed-hq bot commented Aug 8, 2025

CodSpeed WallTime Performance Report

Merging #1951 will not alter performance

Comparing chore/jallui-core (2bf7faf) with feat/new-execution (37c9e8f)

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

✅ 27 untouched benchmarks

@jonathanpwang jonathanpwang merged commit 4869545 into feat/new-execution Aug 8, 2025
28 checks passed
@jonathanpwang jonathanpwang deleted the chore/jallui-core branch August 8, 2025 21:39
@jonathanpwang jonathanpwang mentioned this pull request Aug 19, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jonathanpwang