Skip to content

Update wiki extensions #232

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 26, 2025
Merged

Update wiki extensions #232

merged 1 commit into from
May 26, 2025

Conversation

github-actions[bot]
Copy link

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot added the merge-queue merge after ci succeeds label May 21, 2025
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 1f3625b to c2bd4e1 Compare May 22, 2025 03:16
@mergify Mergify
Copy link
Contributor

mergify bot commented May 22, 2025

This pull request has been removed from the queue for the following reason: pull request manually updated.

The pull request #232 has been manually updated.

If you want to requeue this pull request, you can post a @mergifyio requeue comment.

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from c2bd4e1 to 1ad98d3 Compare May 23, 2025 03:16
@mergify Mergify
Copy link
Contributor

mergify bot commented May 23, 2025

This pull request has been removed from the queue for the following reason: pull request manually updated.

The pull request #232 has been manually updated.

If you want to requeue this pull request, you can post a @mergifyio requeue comment.

@mergify Mergify
Copy link
Contributor

mergify bot commented May 23, 2025

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 1ad98d3 to c33a7eb Compare May 24, 2025 03:14
@mergify Mergify
Copy link
Contributor

mergify bot commented May 24, 2025

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from c33a7eb to 94fca25 Compare May 25, 2025 03:19
@mergify Mergify
Copy link
Contributor

mergify bot commented May 25, 2025

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 94fca25 to ffdaf49 Compare May 26, 2025 03:18
@mergify mergify bot merged commit 92cf94b into main May 26, 2025
5 checks passed
@mergify mergify bot deleted the create-pull-request/patch branch May 26, 2025 03:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
merge-queue merge after ci succeeds
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Mic92