docs: pooled browsers don't persist profile changes (save_changes)#423
Merged
Mintlify / Mintlify Deployment
succeeded
Jun 26, 2026 in 29s
Deployment Succeeded
Preview successfully created for Kernel at https://tbd-6fc993ce-docs-pool-profile-save-changes-ignored.mintlify.app
Details
Fetching and validating config file...
Successfully validated docs.json
Fetching .mintignore file...
No .mintignore file found
Fetched all file paths
Fetched 0 OpenApi file(s)
Fetched 0 AsyncApi file(s)
Generated OpenAPI pages for navigation
Skipped AsyncAPI navigation generation
Successfully updated API reference metadata.
Updating all paths...
Successfully updated deployment
Successfully saved config
Updating navigation...
Navigation updated
Loading