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

fix the doxygen #1592

Merged
merged 1 commit into from
Apr 9, 2024
Merged

fix the doxygen #1592

merged 1 commit into from
Apr 9, 2024

Conversation

yhmtsai
Copy link
Member

@yhmtsai yhmtsai commented Apr 8, 2024

This PR fixes the doxygen error

@yhmtsai yhmtsai added the 1:ST:ready-for-review This PR is ready for review label Apr 8, 2024
@yhmtsai yhmtsai self-assigned this Apr 8, 2024
@ginkgo-bot ginkgo-bot added reg:build This is related to the build system. reg:documentation This is related to documentation. mod:core This is related to the core module. labels Apr 8, 2024
@yhmtsai yhmtsai added this to the Ginkgo 1.8.0 milestone Apr 8, 2024
@yhmtsai yhmtsai added 1:ST:ready-to-merge This PR is ready to merge. 1:ST:skip-full-test 1:ST:no-changelog-entry Skip the wiki check for changelog update labels Apr 9, 2024
@yhmtsai yhmtsai merged commit a6eca6f into develop Apr 9, 2024
11 of 15 checks passed
@yhmtsai yhmtsai deleted the fix_doxygen branch April 9, 2024 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1:ST:no-changelog-entry Skip the wiki check for changelog update 1:ST:ready-for-review This PR is ready for review 1:ST:ready-to-merge This PR is ready to merge. 1:ST:skip-full-test mod:core This is related to the core module. reg:build This is related to the build system. reg:documentation This is related to documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants