Skip to content

[misc] feat: fix ci break#3898

Merged
vermouth1992 merged 1 commit intoverl-project:mainfrom
wuxibin89:wuxibin/fix_ci
Oct 24, 2025
Merged

[misc] feat: fix ci break#3898
vermouth1992 merged 1 commit intoverl-project:mainfrom
wuxibin89:wuxibin/fix_ci

Conversation

@wuxibin89
Copy link
Collaborator

What does this PR do?

As title

Copy link
Contributor

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

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

Code Review

The pull request addresses a CI break by removing an unnecessary indentation in verl/tools/mcp_base_tool.py. This change ensures the return statement is correctly aligned, resolving a potential logical error.

@vermouth1992 vermouth1992 enabled auto-merge (squash) October 24, 2025 07:27
@vermouth1992 vermouth1992 merged commit b8706fb into verl-project:main Oct 24, 2025
75 checks passed
wangboxiong320 pushed a commit to wangboxiong320/verl that referenced this pull request Nov 1, 2025
### What does this PR do?

As title
NenoL2001 pushed a commit to NenoL2001/verl that referenced this pull request Nov 3, 2025
### What does this PR do?

As title
chenjiaoAngel added a commit to chenjiaoAngel/verl that referenced this pull request Nov 14, 2025
### What does this PR do?

As title
leisuzz pushed a commit to leisuzz/verl that referenced this pull request Nov 18, 2025
### What does this PR do?

As title
chenhaiq pushed a commit to The-Hierophant/verl-1 that referenced this pull request Nov 18, 2025
### What does this PR do?

As title
NenoL2001 pushed a commit to NenoL2001/verl that referenced this pull request Nov 26, 2025
### What does this PR do?

As title
albertimff pushed a commit to albertimff/verl that referenced this pull request Dec 1, 2025
### What does this PR do?

As title
TimurTaepov pushed a commit to giorgossideris/verl that referenced this pull request Dec 20, 2025
### What does this PR do?

As title
vyomakesh0728 added a commit to vyomakesh0728/verl that referenced this pull request Jan 22, 2026
### What does this PR do?

As title
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.

2 participants