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

chore: remove update SUMMARY in make apidocs step #580

Merged
merged 1 commit into from
Apr 3, 2024

Conversation

RomanBredehoft
Copy link
Collaborator

it's not necessary anymore, and keeping makes make apidocs fail

@RomanBredehoft RomanBredehoft requested a review from a team as a code owner April 3, 2024 13:44
@cla-bot cla-bot bot added the cla-signed label Apr 3, 2024
@jfrery jfrery merged commit 76a44b3 into main Apr 3, 2024
8 checks passed
@jfrery jfrery deleted the chore/remove_update_summary_apidocs branch April 3, 2024 13:50
Copy link

github-actions bot commented Apr 3, 2024

Coverage passed ✅

Coverage details

---------- coverage: platform linux, python 3.8.18-final-0 -----------
Name    Stmts   Miss  Cover   Missing
-------------------------------------
TOTAL    7539      0   100%

59 files skipped due to complete coverage.

@bcm-at-zama
Copy link
Collaborator

it's no more necessary because we have decided to remove it from left pane?

@RomanBredehoft
Copy link
Collaborator Author

RomanBredehoft commented Apr 8, 2024

because of this @bcm-at-zama : #576 (comment)

@bcm-at-zama
Copy link
Collaborator

ok look like we are speaking about it at two different places, let's continue in the first place

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants