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

Add documentation formatting check to CI #553

Merged
merged 4 commits into from
Jul 16, 2024
Merged

Add documentation formatting check to CI #553

merged 4 commits into from
Jul 16, 2024

Conversation

FabijanC
Copy link
Contributor

@FabijanC FabijanC commented Jul 11, 2024

Usage related changes

None

Development related changes

  • What the title says
  • Instead of doing cd website and cd .., rely on npm --prefix.

Checklist:

  • Checked out the contribution guidelines
  • Applied formatting - ./scripts/format.sh
  • No linter errors - ./scripts/clippy_check.sh
  • No unused dependencies - ./scripts/check_unused_deps.sh
  • No spelling errors - ./scripts/check_spelling.sh
  • Performed code self-review
  • Rebased to the latest commit of the target branch (or merged it into my branch)
    • Once you make the PR reviewable, please prefer merging over rebasing
  • Updated the docs if needed - ./website/README.md
  • Linked the issues resolvable by this PR - linking info
  • Updated the tests if needed; all passing - execution info

@FabijanC FabijanC changed the title Add documentation formatting check to CI [skip ci] Add documentation formatting check to CI Jul 16, 2024
@FabijanC FabijanC merged commit f5cdb3b into main Jul 16, 2024
@FabijanC FabijanC deleted the doc-format-ci branch July 16, 2024 13:06
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.

2 participants