Skip to content
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.

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

Fix typo in example #270

Merged
merged 1 commit into from
Aug 28, 2024
Merged

Fix typo in example #270

merged 1 commit into from
Aug 28, 2024

Conversation

vcschapp
Copy link
Collaborator

@vcschapp vcschapp commented Aug 15, 2024

Description

Brief description of the business purpose and effect of the pull request.

There was a typo in the example. It's visible on the docs website, so I fixed it.

Reference

List of relevant links to GitHub issues, PRs, and other documentation.

None

Testing

Brief description of the testing done for this change showing why you are confident it works as expected and does not introduce regressions. Provide sample output data where appropriate.

No special testing: GitHub action workflows are sufficient for a typo fix!

Checklist

Checklist of tasks commonly-associated with schema pull requests. Please review the relevant checklists and ensure you do all the tasks that are required for the change you made.

  1. Add relevant examples.
  2. Add relevant counterexamples.
  3. Update any counterexamples that became obsolete. For example, if a counterexample uses property A but is not intended to test property A's validity, and you made a schema change that invalidates property A in that counterexample, fix the counterexample to align it with your schema change.
  4. Update in-schema documentation using plain English written in complete sentences, if an update is required.
  5. Update Docusaurus documentation, if an update is required.
  6. Review change with Overture technical writer to ensure any advanced documentation needs will be taken care of, unless the change is trivial and would not affect the documentation.

Documentation Website

Update the hyperlink below to put the pull request number in.

Docs preview for this PR.

@vcschapp vcschapp merged commit ecd264d into dev Aug 28, 2024
2 checks passed
@vcschapp vcschapp deleted the address_typo_20240815 branch August 28, 2024 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants