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: check doxygen script works on PR and fix doxygen #32

Merged
merged 1 commit into from
Feb 27, 2024
Merged

ci: check doxygen script works on PR and fix doxygen #32

merged 1 commit into from
Feb 27, 2024

Conversation

GuillaumeLaine
Copy link
Member

@GuillaumeLaine GuillaumeLaine commented Feb 27, 2024 •
edited
Loading

Changes

  • Check doxygen script works on pull requests.
  • Doxygen comment fixes that were causing the script to fail.

@GuillaumeLaine GuillaumeLaine marked this pull request as ready for review February 27, 2024 09:58
@GuillaumeLaine GuillaumeLaine mentioned this pull request Feb 27, 2024
Merged
2 tasks
@bkueng bkueng merged commit cf07120 into main Feb 27, 2024
9 checks passed
@bkueng bkueng deleted the ci_check_doxygen_on_pr branch February 27, 2024 12:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bkueng bkueng bkueng approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@GuillaumeLaine @bkueng