Skip to content

Add commands for updating schemas and help docs#58

Merged
JonoPrest merged 2 commits into
mainfrom
jp/add-command-for-json-schema
Jul 4, 2024
Merged

Add commands for updating schemas and help docs#58
JonoPrest merged 2 commits into
mainfrom
jp/add-command-for-json-schema

Conversation

@JonoPrest

@JonoPrest JonoPrest commented Jul 4, 2024

Copy link
Copy Markdown
Collaborator
  • Adds hidden cli command for printing the json schema of a human config.
  • Renames the print for cli help markdown
  • Adds test to keep the help markdown up to date (not yet linked up to any docs repo)
  • Adds make file for coordinating piping output to correct place

@JonoPrest JonoPrest requested a review from DZakh July 4, 2024 10:44
@github-actions

github-actions Bot commented Jul 4, 2024

Copy link
Copy Markdown

Here's the diff of the codegen output.🙌🧠🦜

@DZakh DZakh left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

There are first two tests in human_config.rs Could you update the comment there to say to run the script instead.

@JonoPrest JonoPrest force-pushed the jp/add-command-for-json-schema branch from 9bd137e to 69ecce9 Compare July 4, 2024 10:57
@JonoPrest

Copy link
Copy Markdown
Collaborator Author

There are first two tests in human_config.rs Could you update the comment there to say to run the script instead.

@DZakh done, I added a failure message that hints running the make command

@JonoPrest JonoPrest merged commit f7b7d10 into main Jul 4, 2024
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.

2 participants