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

docs: v15 documentation infrastructure #528

Merged
merged 1 commit into from
Sep 5, 2024

Conversation

mrdrivingduck
Copy link
Member

No description provided.

@polardb-bot
Copy link

polardb-bot bot commented Sep 3, 2024

Hi @mrdrivingduck ~ Thanks for your contribution in this PR. ❤️

Please make sure that your PR conforms the standard, and has passed all the checks.

We will review your PR as soon as possible.

@polardb-bot
Copy link

polardb-bot bot commented Sep 3, 2024

Hey @mrdrivingduck :

Something wrong occuried during the checks of your commit 😟, please check the detail:

⚠️ docs-format-check View more details
⚠️ docs-build View more details

@polardb-bot polardb-bot bot added the ci/failure CI status is failure label Sep 3, 2024
@polardb-bot
Copy link

polardb-bot bot commented Sep 3, 2024

Hey @mrdrivingduck :

Something wrong occuried during the checks of your commit 😟, please check the detail:

⚠️ docs-format-check View more details
⚠️ docs-build View more details

@polardb-bot polardb-bot bot added ci/failure CI status is failure and removed ci/failure CI status is failure labels Sep 3, 2024
@polardb-bot
Copy link

polardb-bot bot commented Sep 3, 2024

Hey @mrdrivingduck :

Something wrong occuried during the checks of your commit 😟, please check the detail:

⚠️ docs-format-check View more details

@polardb-bot polardb-bot bot added ci/failure CI status is failure and removed ci/failure CI status is failure labels Sep 3, 2024
@polardb-bot
Copy link

polardb-bot bot commented Sep 3, 2024

Hey @mrdrivingduck :

Congratulations~ 🎉 Your commit has passed all the checks. Please wait for further manual review.

@polardb-bot polardb-bot bot added ci/success CI status is success and removed ci/failure CI status is failure labels Sep 3, 2024
@polardb-bot
Copy link

polardb-bot bot commented Sep 4, 2024

Hey @mrdrivingduck :

Congratulations~ 🎉 Your commit has passed all the checks. Please wait for further manual review.

@polardb-bot polardb-bot bot added ci/success CI status is success and removed ci/success CI status is success labels Sep 4, 2024
@polardb-bot
Copy link

polardb-bot bot commented Sep 5, 2024

Hey @mrdrivingduck :

Congratulations~ 🎉 Your commit has passed all the checks. Please wait for further manual review.

@polardb-bot polardb-bot bot added ci/success CI status is success and removed ci/success CI status is success labels Sep 5, 2024
Besides the documentation itself, this commit also contains the
necessary CI support on GitHub Actions. Currently, CI will only check
the building of documentation, but will not deploy it to GitHub Pages.
@polardb-bot
Copy link

polardb-bot bot commented Sep 5, 2024

Hey @mrdrivingduck :

Congratulations~ 🎉 Your commit has passed all the checks. Please wait for further manual review.

@polardb-bot polardb-bot bot added ci/success CI status is success and removed ci/success CI status is success labels Sep 5, 2024
@mrdrivingduck
Copy link
Member Author

/rebase-and-merge

@polardb-bot polardb-bot bot merged commit 25ed000 into POLARDB_15_STABLE Sep 5, 2024
16 checks passed
@polardb-bot
Copy link

polardb-bot bot commented Sep 5, 2024

@mrdrivingduck PR has been merged. 🍗

Thanks again for the contributors involved in this thread: ❤️

@mrdrivingduck mrdrivingduck deleted the feature_v15_docs branch September 5, 2024 05:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci/success CI status is success
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant