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.

Sign up for GitHub

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

Jump to bottom

Add OpenApi.ToSchema instance for Ada (fix #4062). #4064

Closed
wants to merge 1 commit into from
Closed

Add OpenApi.ToSchema instance for Ada (fix #4062). #4064

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Oct 6, 2021

fix #4062

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Relevant tickets are mentioned in commit messages
    • Formatting, materialized Nix files, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@ghost ghost requested review from michaelpj and j-mueller October 6, 2021 07:30
@ghost ghost force-pushed the ada-openapi-toschema branch from ed1c34c to 67cb4c1 Compare October 12, 2021 08:36
@ghost ghost force-pushed the ada-openapi-toschema branch from 67cb4c1 to 98b169d Compare October 13, 2021 08:54
@michaelpj
Copy link
Contributor

plutus-apps has split off from plutus. Apologies for the inconvenience, but this needs to be ported to the new repository here: https://github.com/input-output-hk/plutus-apps

@ghost ghost closed this Oct 21, 2021
@kwxm kwxm deleted the ada-openapi-toschema branch February 2, 2022 08:43
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michaelpj michaelpj Awaiting requested review from michaelpj

@j-mueller j-mueller Awaiting requested review from j-mueller

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

No instance for (OpenApi.ToSchema Ada)
1 participant
@michaelpj