You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I tried to use qwen-turbo and qwen3-coder-plus-2025-07-22 via API calls in this repository, but I only get repeated responses of "```dafny". How can I fix this?
Dear repository maintainers,
I tried to use
qwen-turboandqwen3-coder-plus-2025-07-22via API calls in this repository, but I only get repeated responses of "```dafny". How can I fix this?Thank you for your assistance.