Skip to content

chore: Capitalize containers section in docs#4471

Merged
TomAFrench merged 1 commit intomasterfrom
jf/capitalize-containers
Mar 4, 2024
Merged

chore: Capitalize containers section in docs#4471
TomAFrench merged 1 commit intomasterfrom
jf/capitalize-containers

Conversation

@jfecher
Copy link
Contributor

@jfecher jfecher commented Mar 4, 2024

Description

Problem*

Summary*

The "containers" section of noir's docs was the only section not capitalized previously

Additional Context

I checked "Documentation included in this PR." so that docs can be regenerated for this PR and we can see the section is capitalized.

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Mar 4, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Mar 4, 2024

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

@TomAFrench TomAFrench enabled auto-merge March 4, 2024 19:04
@TomAFrench TomAFrench added this pull request to the merge queue Mar 4, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Mar 4, 2024

Merged via the queue into master with commit 2ce8958 Mar 4, 2024
@TomAFrench TomAFrench deleted the jf/capitalize-containers branch March 4, 2024 19:18
TomAFrench added a commit that referenced this pull request Mar 5, 2024
* master:
  feat: Sync from aztec-packages (#4465)
  feat: Add eddsa_poseidon_to_pub function to stdlib with test + docs (#4473)
  chore(deps): bump mio from 0.8.10 to 0.8.11 (#4478)
  chore: Capitalize containers section in docs (#4471)
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.

2 participants