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(extensions-docs): update extensions doc assets #189

Open
wants to merge 1 commit into
base: dev
Choose a base branch
from

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jul 6, 2024

Update extensions doc assets.
Automatically created.

@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from b216e5e to 0fa88fb Compare July 6, 2024 04:03
Copy link
Contributor

Choose a reason for hiding this comment

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

It seems that most of the entries are duplicates. Is this intended?

Copy link
Contributor

Choose a reason for hiding this comment

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

No, this seems to have started some weeks ago
I'd assume that here is an issue with the maven plugin generating the sidebars.json

@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from 0fa88fb to 8cef250 Compare July 13, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from 8cef250 to 9c5d001 Compare July 20, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from 9c5d001 to 4a79f97 Compare August 3, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from 4a79f97 to 121920b Compare August 10, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from 121920b to 5018bd3 Compare August 24, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch 2 times, most recently from 7344264 to e07b911 Compare September 7, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch from e07b911 to bae51fd Compare October 5, 2024 04:04
@github-actions github-actions bot force-pushed the chore/update-extensions-docs branch 2 times, most recently from bafd6ce to a5f0b99 Compare October 19, 2024 04:04
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.

3 participants