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

ci: remove redundant doxygen workflow #409

Merged
merged 2 commits into from
Jan 6, 2023
Merged

Conversation

wdconinc
Copy link
Contributor

Briefly, what does this PR introduce?

The doxygen page that is actually published is in linux-eic-shell and integrates artifacts.

What kind of change does this PR introduce?

  • Bug fix (issue: duplicate execution of doxygen)
  • New feature (issue #__)
  • Documentation update
  • Other: __

Please check if this PR fulfills the following:

  • Tests for the changes have been added
  • Documentation has been added / updated
  • Changes have been communicated to collaborators: @DraTeots

Does this PR introduce breaking changes? What changes might users need to make to their code?

No.

Does this PR change default behavior?

No.

The doxygen page that is actually published is in linux-eic-shell and integrates artifacts.
@wdconinc wdconinc force-pushed the ci-remove-redundant-doxygen branch from 8e8bc8b to b64f019 Compare December 28, 2022 18:09
@wdconinc wdconinc enabled auto-merge December 28, 2022 18:11
@wdconinc wdconinc merged commit e6625f4 into main Jan 6, 2023
@wdconinc wdconinc deleted the ci-remove-redundant-doxygen branch January 6, 2023 18:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants