Skip to content

Add slang-server configuration schema#5741

Closed
jeet-dekivadia wants to merge 3 commits into
SchemaStore:masterfrom
jeet-dekivadia:add-slang-server-schema
Closed

Add slang-server configuration schema#5741
jeet-dekivadia wants to merge 3 commits into
SchemaStore:masterfrom
jeet-dekivadia:add-slang-server-schema

Conversation

@jeet-dekivadia
Copy link
Copy Markdown

Summary

  • add a SchemaStore catalog entry for slang-server's .slang/server.json and .slang/local/server.json files
  • add a draft-07 version of the generated slang-server configuration schema for broad editor compatibility
  • cover the schema with positive and negative validation fixtures

Addresses hudson-trading/slang-server#360.

Validation

  • git diff --check
  • jq empty src/api/json/catalog.json src/schemas/json/slang-server.json src/test/slang-server/server.json src/negative_test/slang-server/invalid-doc-comment-format.json
  • Full SchemaStore validation deferred to CI

@github-actions
Copy link
Copy Markdown
Contributor

Thanks for the PR!

This section of the codebase is owned by @madskristensen and @hyperupcall - if they write a comment saying "LGTM" then it will be merged.

@jeet-dekivadia jeet-dekivadia force-pushed the add-slang-server-schema branch from 2c53564 to 091f524 Compare May 30, 2026 04:07
@evanwporter
Copy link
Copy Markdown

Hi Jeet, thanks for taking the time to create this PR. When I raised the relevant issue (hudson-trading/slang-server#360), it was intended for @AndrewNolte to make this PR since he's the maintainer and the one who should probably be in the code owner file. Sorry for the confusion.

@jeet-dekivadia
Copy link
Copy Markdown
Author

Thanks for clarifying, and apologies for the mix-up. I am closing this so @AndrewNolte can submit the code-owner change in the intended form.

@jeet-dekivadia jeet-dekivadia deleted the add-slang-server-schema branch May 30, 2026 19:01
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