Skip to content

Persistent sessions for playground#159

Merged
github-actions[bot] merged 3 commits into
devfrom
persistent-playground-sessions
Jun 24, 2026
Merged

Persistent sessions for playground#159
github-actions[bot] merged 3 commits into
devfrom
persistent-playground-sessions

Conversation

@varshitha-andra

Copy link
Copy Markdown
Collaborator

No description provided.

@varshitha-andra varshitha-andra added the help wanted Extra attention is needed label Jun 23, 2026
Comment thread sql/core/playground_sessions.sql

@rahul-tavro rahul-tavro left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

DB changes are approved

@Mihir-Tavro-18 Mihir-Tavro-18 added enhancement New feature or request and removed help wanted Extra attention is needed labels Jun 24, 2026
@github-actions github-actions Bot merged commit f4d7442 into dev Jun 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants