Skip to content
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

Add Cookbook for OpenAPI 3.0 #1470

Merged
merged 2 commits into from
Apr 24, 2024
Merged

Add Cookbook for OpenAPI 3.0 #1470

merged 2 commits into from
Apr 24, 2024

Conversation

maksbotan
Copy link
Contributor

Fixes #1446

Copy link
Contributor

@tchoutri tchoutri left a comment

Choose a reason for hiding this comment

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

I think it's a nice basis upon which we can iterate. Thank you very much!

@maksbotan
Copy link
Contributor Author

BTW, what exactly triggers the build and deployment of the doc? Where is this pipeline defined?

@alpmestan
Copy link
Contributor

@maksbotan IIRC this is all done in the readthedocs settings.

@akhesaCaro akhesaCaro mentioned this pull request Oct 29, 2021
13 tasks
@tchoutri
Copy link
Contributor

@maksbotan Anything we can do? Do you have merging privileges?

author: Servant Contributors
maintainer: haskell-servant-maintainers@googlegroups.com
build-type: Simple
cabal-version: >=1.10
Copy link
Contributor

Choose a reason for hiding this comment

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

could you use 2.2 here instead ? in a similar spirit as #1498

@ysangkok
Copy link
Contributor

@maksbotan You might wanna consider merging this before you make a release, if you think it is ready. It's in the milestone.

@tchoutri tchoutri self-assigned this Apr 24, 2024
@tchoutri tchoutri force-pushed the maksbotan/cookbook-openapi3 branch from 63e9099 to 33210e6 Compare April 24, 2024 10:49
@tchoutri tchoutri merged commit eb2de5a into master Apr 24, 2024
9 checks passed
@tchoutri tchoutri deleted the maksbotan/cookbook-openapi3 branch April 24, 2024 15:18
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.

Servant + OpenAPI3 rendering in the cookbook
5 participants