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

SIP014 support: annotation extraction for documentation #467

Closed
lgalabru opened this issue Jan 18, 2022 · 3 comments
Closed

SIP014 support: annotation extraction for documentation #467

lgalabru opened this issue Jan 18, 2022 · 3 comments
Labels
functional enhancement New feature or request wontfix This will not be worked on

Comments

@lgalabru
Copy link
Contributor

stacksgov/sips#32 still needs to be formulated and specified, but working on the tooling implementation beforehand could make sense and could help us come up with a good specification.

@lgalabru lgalabru transferred this issue from hirosystems/clarinet Jan 18, 2022
@lgalabru
Copy link
Contributor Author

Note: we would probably need a dedicated pass for these comments - for instance we would be emitting warnings if the doc is missing arguments, or arguments are misspelled, or type return not matching

@lgalabru lgalabru added the functional enhancement New feature or request label Jan 18, 2022
@obycode obycode added the M label May 4, 2022
@obycode
Copy link
Member

obycode commented May 4, 2022

This probably depends on #464.

@lgalabru lgalabru transferred this issue from hirosystems/chainhook Jul 12, 2022
@lgalabru lgalabru added this to the Q2-2023 milestone Jan 4, 2023
@github-project-automation github-project-automation bot moved this to 🆕 New in DevTools Jul 7, 2023
@smcclellan smcclellan modified the milestones: Q2-2023, Q3-2023 Jul 11, 2023
@hugocaillard hugocaillard removed the M label Jul 17, 2023
@smcclellan
Copy link
Contributor

Closing due to lack of activity. Please create a new ticket (or reopen) if still relevant.

@github-project-automation github-project-automation bot moved this from 🆕 New to ✅ Done in DevTools Jul 20, 2023
@smcclellan smcclellan removed this from the Q3-2023 milestone Jul 31, 2023
@smcclellan smcclellan added the wontfix This will not be worked on label Jul 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
functional enhancement New feature or request wontfix This will not be worked on
Projects
Archived in project
Development

No branches or pull requests

4 participants