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

chore(docusaurus): Add v in version names #3460

Merged
merged 1 commit into from
Nov 7, 2023

Conversation

Savio-Sou
Copy link
Collaborator

@Savio-Sou Savio-Sou commented Nov 7, 2023

Description

Problem*

The latest set of versioned v0.19.2 docs are not showing up on https://noir-lang.org/.

Summary*

Suspecting it's due to missing v in versions.json. This PR adds that.

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 Nov 7, 2023
@Savio-Sou Savio-Sou changed the title chore(docusarus): Add v in version names chore(docusaurus): Add v in version names Nov 7, 2023
@Savio-Sou Savio-Sou enabled auto-merge November 7, 2023 19:33
Copy link
Contributor

github-actions bot commented Nov 7, 2023

@Savio-Sou Savio-Sou added this pull request to the merge queue Nov 7, 2023
Merged via the queue into master with commit d79aefd Nov 7, 2023
35 checks passed
@Savio-Sou Savio-Sou deleted the ss/patch-doc-versions-naming branch November 7, 2023 20:37
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