Skip to content

fix: show no tools available when no tools available #7021

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

Merged
merged 1 commit into from
Aug 7, 2025

Conversation

RomneyDa
Copy link
Collaborator

@RomneyDa RomneyDa commented Aug 6, 2025

Description

For longer config loading, tool policies section used to be blank, now shows a no tools available message

image

Summary by cubic

Added a "No tools available" message to the tool policies section when no tools are present, so users are not shown a blank area during config loading.

@RomneyDa RomneyDa requested a review from a team as a code owner August 6, 2025 18:11
@RomneyDa RomneyDa requested review from tingwai and removed request for a team August 6, 2025 18:11
@dosubot dosubot bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Aug 6, 2025
Copy link
Contributor

@cubic-dev-ai cubic-dev-ai bot left a comment

Choose a reason for hiding this comment

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

cubic analysis

No issues found across 1 file. Review in cubic

@github-project-automation github-project-automation bot moved this from Todo to In Progress in Issues and PRs Aug 7, 2025
@Patrick-Erichsen Patrick-Erichsen merged commit 126dc26 into main Aug 7, 2025
64 of 66 checks passed
@Patrick-Erichsen Patrick-Erichsen deleted the dallin/loading-tools branch August 7, 2025 00:01
@github-project-automation github-project-automation bot moved this from In Progress to Done in Issues and PRs Aug 7, 2025
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Aug 7, 2025
@github-actions github-actions bot locked and limited conversation to collaborators Aug 7, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
lgtm This PR has been approved by a maintainer size:XS This PR changes 0-9 lines, ignoring generated files.
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants