Skip to content

Conversation

@paul0403
Copy link
Member

@paul0403 paul0403 commented Dec 8, 2025

Context:
make clean-dialect-docs should remove the entire dialect docs build directory, instead of just a subdirectory inside.

Benefits:
Cleaning works.
Otherwise, the cmake files from the previous builds are still in the build directory.

@paul0403 paul0403 requested a review from a team December 8, 2025 20:07
@github-actions
Copy link
Contributor

github-actions bot commented Dec 8, 2025

Hello. You may have forgotten to update the changelog!
Please edit doc/releases/changelog-dev.md on your branch with:

  • A one-to-two sentence description of the change. You may include a small working example for new features.
  • A link back to this PR.
  • Your name (or GitHub username) in the contributors section.

Copy link
Contributor

@rniczh rniczh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @paul0403 👍

@paul0403 paul0403 merged commit 7f7d4b6 into main Dec 9, 2025
42 checks passed
@paul0403 paul0403 deleted the paul0403/clean-dialect-docs-fix branch December 9, 2025 14:54
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