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

Regenerate API docs #817

Merged
merged 4 commits into from
Dec 21, 2023
Merged

Regenerate API docs #817

merged 4 commits into from
Dec 21, 2023

Conversation

Widcket
Copy link
Contributor

@Widcket Widcket commented Dec 18, 2023

  • All new/changed/fixed functionality is covered by tests (or N/A)
  • I have added documentation for all new/changed functionality (or N/A)

📋 Changes

This PR regenerates the updated API docs of #816.

@Widcket Widcket added the documentation This adds, fixes or improves documentation label Dec 18, 2023
@Widcket Widcket requested a review from a team as a code owner December 18, 2023 06:25
frederikprijck
frederikprijck previously approved these changes Dec 18, 2023
Base automatically changed from chore/update-api-docs to master December 18, 2023 12:47
@Widcket Widcket dismissed frederikprijck’s stale review December 18, 2023 12:47

The base branch was changed.

@Widcket Widcket enabled auto-merge (squash) December 18, 2023 14:36
@Widcket Widcket requested a review from a team December 18, 2023 14:37
@Widcket Widcket merged commit dfbd114 into master Dec 21, 2023
11 of 12 checks passed
@Widcket Widcket deleted the chore/regenerate-api-docs branch December 21, 2023 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation This adds, fixes or improves documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants