Skip to content

Add Devstral as model supporting tools #5779

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 2 commits into from
May 21, 2025
Merged

Conversation

welcoMattic
Copy link
Contributor

@welcoMattic welcoMattic commented May 21, 2025

Ref #5778

Description

Add Devstral as model supporting tools

Checklist

  • I've read the contributing guide
  • The relevant docs, if any, have been updated or created
  • The relevant tests, if any, have been updated or created

Screenshots

not needed

Tests

Todo

@welcoMattic welcoMattic requested a review from a team as a code owner May 21, 2025 18:34
@welcoMattic welcoMattic requested review from tomasz-stefaniak and removed request for a team May 21, 2025 18:34
Copy link

netlify bot commented May 21, 2025

Deploy Preview for continuedev canceled.

Name Link
🔨 Latest commit 6c5441e
🔍 Latest deploy log https://app.netlify.com/projects/continuedev/deploys/682e1d739f286200082a4c3c

Copy link

github-actions bot commented May 21, 2025

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@dosubot dosubot bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label May 21, 2025
@welcoMattic
Copy link
Contributor Author

I have read the CLA Document and I hereby sign the CLA

@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label May 21, 2025
@github-project-automation github-project-automation bot moved this from Todo to In Progress in Issues and PRs May 21, 2025
@TyDunn TyDunn merged commit 432f36c into continuedev:main May 21, 2025
58 of 62 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in Issues and PRs May 21, 2025
@github-actions github-actions bot locked and limited conversation to collaborators May 21, 2025
@welcoMattic welcoMattic deleted the patch-2 branch May 22, 2025 12:21
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.

3 participants