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

[docs] Regenerate tables of contents #16323

Merged
merged 1 commit into from
Mar 16, 2023
Merged

Conversation

github-actions[bot]
Copy link
Contributor

Automatic update of the documentation TOCs.

prince-chrismc
prince-chrismc previously approved these changes Mar 3, 2023
Croydon
Croydon previously approved these changes Mar 3, 2023
SSE4
SSE4 previously approved these changes Mar 3, 2023
@prince-chrismc prince-chrismc reopened this Mar 6, 2023
@prince-chrismc prince-chrismc reopened this Mar 8, 2023
@github-actions github-actions bot dismissed stale reviews from SSE4, Croydon, and prince-chrismc via cfcc182 March 9, 2023 06:26
@github-actions github-actions bot force-pushed the bot/action-doc-toc branch 2 times, most recently from cfcc182 to 6ca4fbc Compare March 9, 2023 08:37
Croydon
Croydon previously approved these changes Mar 9, 2023
prince-chrismc
prince-chrismc previously approved these changes Mar 11, 2023
Croydon
Croydon previously approved these changes Mar 11, 2023
jcar87
jcar87 previously approved these changes Mar 14, 2023
AbrilRBS
AbrilRBS previously approved these changes Mar 14, 2023
Croydon
Croydon previously approved these changes Mar 15, 2023
Copy link
Contributor

@Croydon Croydon left a 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 :(

@prince-chrismc
Copy link
Contributor

AutoMerge must have a bug since there's supposed to be a priority queue

Cc @uilianries

@uilianries
Copy link
Member

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.

@conan-center-bot conan-center-bot merged commit 3cfee06 into master Mar 16, 2023
@Croydon
Copy link
Contributor

Croydon commented Mar 16, 2023

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

0xFireWolf pushed a commit to 0xFireWolf/conan-center-index that referenced this pull request Apr 2, 2023
Co-authored-by: conan-center-bot <conan-center-bot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants