Skip to content

chore: redo typo PR by spuradage#10225

Closed
TomAFrench wants to merge 1 commit intomasterfrom
chore/typo-redo-10223
Closed

chore: redo typo PR by spuradage#10225
TomAFrench wants to merge 1 commit intomasterfrom
chore/typo-redo-10223

Conversation

@TomAFrench
Copy link
Member

Thanks spuradage for #10223. Our policy is to redo typo changes to dissuade metric farming. This is an automated script.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 17, 2025
@TomAFrench TomAFrench closed this Oct 17, 2025
@TomAFrench TomAFrench deleted the chore/typo-redo-10223 branch October 17, 2025 10:35
@github-actions
Copy link
Contributor

@github-actions
Copy link
Contributor

FYI @noir-lang/developerrelations on Noir doc changes.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 0ca0aac Previous: 8d78787 Ratio
sha512-100-bytes 0.064 s 0.053 s 1.21

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant