Skip to content

fix for bypassing removed tools from registry#34

Merged
nehabagdia merged 1 commit into
mainfrom
fix/SkipRemovedRegistryTool
Mar 1, 2024
Merged

fix for bypassing removed tools from registry#34
nehabagdia merged 1 commit into
mainfrom
fix/SkipRemovedRegistryTool

Conversation

@muhammad-ali-e

Copy link
Copy Markdown
Contributor

What

  • fix for bypassing removed tools from registry
  • Add Missed migration for pipeline status

Checklist

I have read and understood the Contribution Guidelines.

@athul-rs athul-rs left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM.

@nehabagdia
nehabagdia merged commit 9ac4091 into main Mar 1, 2024
@nehabagdia
nehabagdia deleted the fix/SkipRemovedRegistryTool branch March 1, 2024 06:43
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.

3 participants