chore: opt sol scope renaming #20123

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

Merged

ledwards2225 merged 3 commits into merge-train/barretenberg from si/opt-sol-scope-renaming

Feb 3, 2026

Merged

chore: opt sol scope renaming #20123

fix bug

Netlify / Redirect rules - barretenberg succeeded Feb 3, 2026 in 4m 24s

1 redirect rule processed

All redirect rules processed without errors.

View more details on Netlify