Skip to content

Run docs check on all files in /docs#5102

Merged
hanabi1224 merged 4 commits into
mainfrom
ansermino/fix-docs-check
Dec 19, 2024
Merged

Run docs check on all files in /docs#5102
hanabi1224 merged 4 commits into
mainfrom
ansermino/fix-docs-check

Conversation

@ansermino
Copy link
Copy Markdown
Contributor

@ansermino ansermino commented Dec 19, 2024

Requires #5099

Summary of changes

#5091 introduced an issue that was not caught because the check did not run.

Changes introduced in this pull request:

  • Run docs check PR for all files in /docs
  • Updates @docusaurus/tsconfig to working version

Reference issue to close (if applicable)

Closes

Other information and links

Change checklist

  • I have performed a self-review of my own code,
  • I have made corresponding changes to the documentation. All new code adheres to the team's documentation standards,
  • I have added tests that prove my fix is effective or that my feature works (if possible),
  • I have made sure the CHANGELOG is up-to-date. All user-facing changes should be reflected in this document.

@ansermino ansermino requested a review from a team as a code owner December 19, 2024 17:46
@ansermino ansermino requested review from elmattic and lemmih and removed request for a team December 19, 2024 17:46
@ansermino ansermino mentioned this pull request Dec 19, 2024
4 tasks
@ansermino ansermino changed the title Add docs/ to paths Run docs check on all files in /docs Dec 19, 2024
@ansermino ansermino marked this pull request as draft December 19, 2024 17:48
@ansermino ansermino marked this pull request as ready for review December 19, 2024 18:57
@ansermino ansermino requested a review from elmattic December 19, 2024 18:57
@hanabi1224 hanabi1224 enabled auto-merge December 19, 2024 23:26
@hanabi1224 hanabi1224 added this pull request to the merge queue Dec 19, 2024
Merged via the queue into main with commit 2ad8553 Dec 19, 2024
@hanabi1224 hanabi1224 deleted the ansermino/fix-docs-check branch December 19, 2024 23:46
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.

3 participants