New Help & Feedback menu and tab-selected styles #1374
Merged
Mintlify / Mintlify Deployment
succeeded
Oct 10, 2024 in 43s
Deployment Succeeded
Your changes are now live!
Details
Verified update permissions
Fetching and validating mint.json...
Successfully validated mint.json
Fetched all file paths
Fetched 2 OpenApi file(s):
- openapi.yml
- v3-openapi.yaml
Skipped OpenAPI anchor/tab generation
Updating all paths...
Successfully updated deployment
Beginning search indexing...
Successfully indexed 115 page(s).
Updating navigation...
Navigation updated
Starting page revalidation...
Revalidating targeted paths:
snippets/card-sequin
Page revalidation complete
Loading