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.

Sign up for GitHub

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

Jump to bottom

ci: fix duplicatd doc issue #3056

Merged
merged 1 commit into from
Dec 30, 2023
Merged

ci: fix duplicatd doc issue #3056

merged 1 commit into from
Dec 30, 2023

Conversation

sunng87
Copy link
Member

@sunng87 sunng87 commented Dec 30, 2023 •
edited
Loading

I hereby agree to the terms of the GreptimeDB CLA

What's changed and what's your intention?

Fixes duplicated doc issue created on updating pull request.

Checklist

  • I have written the necessary rustdoc comments.
  • I have added the necessary unit tests and integration tests.
  • This PR does not require documentation updates.

Refer to a related PR or issue link (optional)

@github-actions github-actions bot added the docs-required This change requires docs update. label Dec 30, 2023
@sunng87 sunng87 mentioned this pull request Dec 30, 2023
Closed
@github-actions github-actions bot added size/xs docs-not-required This change does not impact docs. and removed docs-required This change requires docs update. labels Dec 30, 2023
@sunng87 sunng87 merged commit 1c94d4c into main Dec 30, 2023
18 of 19 checks passed
@sunng87 sunng87 deleted the ci/fix-duplicated-doc-issue branch December 30, 2023 05:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
docs-not-required This change does not impact docs.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@sunng87