-
-
Notifications
You must be signed in to change notification settings - Fork 396
Generate custom parameters' documentation for plugins #4414
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
Conversation
0781dd3
to
182bad5
Compare
836f958
to
e84845f
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, needs to be regenerated for ghc 9.10 and 9.12
fda2d80
to
cb5539a
Compare
I've rebased PR against master, c&pasted golden files for ghc910 & 912 and squashed whole PR into one commit. Let's see how tests will do. |
cb5539a
to
369c229
Compare
Introduces plugins-custom-config-markdown-reference subcommand which extracts plugins' custom config parameters and renders a Markdown table with all the reference information.
369c229
to
9fe40e6
Compare
@fendor 910 & 912 tests are green |
This pull request has been removed from the queue for the following reason: The merge conditions cannot be satisfied due to failing checks:You may have to fix your CI before adding the pull request to the queue again. |
Introduces a
plugins-custom-config-markdown-reference
subcommand which renders plugins' custom config parameters built-in documentation in a markdown document.Fixes #3183