-
Notifications
You must be signed in to change notification settings - Fork 1.7k
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
[docs] Regenerate tables of contents #16323
Conversation
cfcc182
cfcc182
to
6ca4fbc
Compare
21a7d96
6ca4fbc
to
21a7d96
Compare
8f05e0b
21a7d96
to
8f05e0b
Compare
8f05e0b
to
d3c55ee
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This time something actually changed. Before that the bot just force-pushed without something changed. That needs to be optimized or we never get it merged :(
AutoMerge must have a bug since there's supposed to be a priority queue Cc @uilianries |
The priority exists, but the PR need to be approved too. The CI list all open PR, then classify those that are green, then it sorts by priority. Checking one by one, it will verify it that specific PR has been approved. Right now, I see only 1 approved. |
Yes, but it was successfully approved before that like 3 times |
Co-authored-by: conan-center-bot <conan-center-bot@users.noreply.github.com>
Automatic update of the documentation TOCs.