Skip to content

v0.25.0#532

Merged
gh-worker-dd-mergequeue-cf854d[bot] merged 1 commit into
mainfrom
r1viollet/v0.25.0
Apr 1, 2026
Merged

v0.25.0#532
gh-worker-dd-mergequeue-cf854d[bot] merged 1 commit into
mainfrom
r1viollet/v0.25.0

Conversation

@r1viollet

@r1viollet r1viollet commented Apr 1, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

What does this PR do?

v0.25.0

Motivation

Prepare a new release, v0.24.0 has some issues (due to CA certificates). We need a new release version.

Additional Notes

This is not a minor as we will land the changes in install mechanisms.

How to test the change?

NA

@r1viollet

r1viollet commented Apr 1, 2026

Copy link
Copy Markdown
Collaborator Author

/merge

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented Apr 1, 2026 •
edited
Loading

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-04-01 10:05:49 UTC ℹ️ Start processing command /merge

2026-04-01 10:05:55 UTC ℹ️ MergeQueue: waiting for PR to be ready

This pull request is not mergeable according to GitHub. Common reasons include pending required checks, missing approvals, or merge conflicts — but it could also be blocked by other repository rules or settings.
It will be added to the queue as soon as checks pass and/or get approvals. View in MergeQueue UI.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.

2026-04-01 12:29:15 UTC ℹ️ MergeQueue: merge request added to the queue

The expected merge time in main is approximately 18m (p90).

2026-04-01 12:44:14 UTC ℹ️ MergeQueue: This merge request was merged

@r1viollet

r1viollet commented Apr 1, 2026

Copy link
Copy Markdown
Collaborator Author

/merge

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented Apr 1, 2026 •
edited
Loading

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-04-01 12:40:25 UTC ℹ️ Start processing command /merge

2026-04-01 12:40:27 UTC ❌ MergeQueue

PR already in the queue with status in_progress

@gh-worker-dd-mergequeue-cf854d
gh-worker-dd-mergequeue-cf854d Bot merged commit d7bd5fb into main Apr 1, 2026
4 checks passed
@gh-worker-dd-mergequeue-cf854d
gh-worker-dd-mergequeue-cf854d Bot deleted the r1viollet/v0.25.0 branch April 1, 2026 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@nsavoire nsavoire nsavoire approved these changes

Assignees

@nsavoire nsavoire

Labels

mergequeue-status: done

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@r1viollet @nsavoire