How to develop with workshops

Workshop integrates with developer tooling, from connecting your favourite IDE to running version control and CI/CD pipelines inside a workshop.

Use IDEs and editors

You can connect a locally installed IDE to a workshop over SSH, or run an editor or notebook environment directly inside your workshop and access it in your browser:

• Connect VS Code to a workshop
• Run JetBrains Gateway in a workshop
• Run JupyterLab in your browser

Integrate with development workflows

Workshops are intended to integrate with version control, CI/CD, and AI-powered development workflows:

• Manage Python environments
• Run GitHub Actions locally
• Run workshops in GitHub Actions
• Use workshops with AI agents
• Use workshops with Git