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

Install latest doxygen in CI #2441

Merged
merged 2 commits into from
Nov 9, 2022
Merged

Install latest doxygen in CI #2441

merged 2 commits into from
Nov 9, 2022

Conversation

tiagovla
Copy link
Contributor

@tiagovla tiagovla commented Nov 8, 2022 •
edited by garth-wells

Fixes #2439.

@garth-wells garth-wells added documentation Documentation improvements or fixes ci Continuous Integration docker labels Nov 8, 2022
@chrisrichardson
Copy link
Contributor

doxygen is still producing some warnings (about obsolete keywords etc.)

garth-wells
garth-wells approved these changes Nov 8, 2022
View reviewed changes
Copy link
Member

@garth-wells garth-wells left a comment

Choose a reason for hiding this comment

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

We'll need to apply some fixes to the docs for this latest version of doxygen.

@garth-wells garth-wells merged commit 66f5adf into FEniCS:main Nov 9, 2022
@tiagovla tiagovla deleted the ci_latest_doxygen branch November 9, 2022 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@garth-wells garth-wells garth-wells approved these changes

Assignees
No one assigned
Labels
ci Continuous Integration docker documentation Documentation improvements or fixes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Install latest doxygen in CI
3 participants
@tiagovla @chrisrichardson @garth-wells