Skip to content

OpenAPI#1856

Merged
stephenberry merged 8 commits intomainfrom
openapi
Jul 16, 2025
Merged

OpenAPI#1856
stephenberry merged 8 commits intomainfrom
openapi

Conversation

@stephenberry
Copy link
Copy Markdown
Owner

@stephenberry stephenberry commented Jul 14, 2025

OpenAPI support in http_server so that the available API can be queried from a client.

This change moves the route_spec out of the http_router for the sake of default arguments and less typing for users.

The route_spec now contains the constraints, which changes the user facing API for constraints, but allows more fields to be added in the future.

@stephenberry stephenberry changed the title Openapi OpenAPI Jul 14, 2025
@packit-as-a-service
Copy link
Copy Markdown

@stephenberry stephenberry merged commit a71acde into main Jul 16, 2025
25 checks passed
@stephenberry stephenberry deleted the openapi branch July 16, 2025 17:15
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.

1 participant