Skip to content

chore: redo typo PR by fryorcraken#8839

Merged
TomAFrench merged 1 commit intochore/typo-redo-8832from
chore/typo-redo-8831
Jun 9, 2025
Merged

chore: redo typo PR by fryorcraken#8839
TomAFrench merged 1 commit intochore/typo-redo-8832from
chore/typo-redo-8831

Conversation

@TomAFrench
Copy link
Member

Thanks fryorcraken for #8831. 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 Jun 9, 2025
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: 4fc6934 Previous: bf1dbdb Ratio
rollup-merge 0.004 s 0.003 s 1.33

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

CC: @TomAFrench

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 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 4fc6934 Previous: bf1dbdb Ratio
test_report_zkpassport_noir_rsa_ 2 s 1 s 2

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

CC: @TomAFrench

@github-actions
Copy link
Contributor

github-actions bot commented Jun 9, 2025

@github-actions
Copy link
Contributor

github-actions bot commented Jun 9, 2025

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

@TomAFrench TomAFrench changed the base branch from master to chore/typo-redo-8832 June 9, 2025 12:57
@TomAFrench TomAFrench merged commit 331d8a3 into chore/typo-redo-8832 Jun 9, 2025
118 checks passed
@TomAFrench TomAFrench deleted the chore/typo-redo-8831 branch June 9, 2025 12:57
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