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

Update mint.json #748

Merged
merged 1 commit into from
Aug 28, 2024
Merged

Update mint.json #748

merged 1 commit into from
Aug 28, 2024

Conversation

kati3-design
Copy link
Contributor

@kati3-design kati3-design commented Aug 28, 2024

🚀 This description was created by Ellipsis for commit 23ed708

Summary:

Added getting-started/prompting-guide to the Getting Started section in docs/mint.json.

Key points:

  • Added getting-started/prompting-guide to the pages array under the Getting Started group in docs/mint.json.

Generated with ❤️ by ellipsis.dev

@suchintan suchintan merged commit 4eca786 into Skyvern-AI:main Aug 28, 2024
2 checks passed
Copy link
Contributor

@ellipsis-dev ellipsis-dev bot left a comment

Choose a reason for hiding this comment

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

👍 Looks good to me! Reviewed everything up to 23ed708 in 4 seconds

More details
  • Looked at 15 lines of code in 1 files
  • Skipped 0 files when reviewing.
  • Skipped posting 1 drafted comments based on config settings.
1. docs/mint.json:64
  • Draft comment:
    Ensure that the new page "getting-started/prompting-guide" exists in the codebase to avoid broken links in the documentation.
  • Reason this comment was not posted:
    Confidence changes required: 50%
    The PR adds a new page to the 'Getting Started' group in the navigation section. This change seems straightforward and correct, but I should verify if the new page exists in the codebase.

Workflow ID: wflow_RDujW7gp0UPRbiAD


You can customize Ellipsis with 👍 / 👎 feedback, review rules, user-specific overrides, quiet mode, and more.

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