⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Conversation

@romanlutz
Copy link
Contributor

Description

We had an existing local Docker setup in the /docker directory that was very fragile and didn't work well. This PR improves this docker setup in a variety of ways:

  • It's now based on the devcontainer Dockerfile for minimal duplication
  • There are new helper scripts to build the image and run the Docker container
  • Orthogonal to Docker but related since we do the same build for the image: updated release instructions to include the built frontend
  • added github workflows for automated validation

@romanlutz romanlutz force-pushed the romanlutz/docker_for_gui_or_notebooks branch from 9a60687 to 8006366 Compare February 6, 2026 21:50
Co-authored-by: Victor Valbuena <50061128+ValbuenaVC@users.noreply.github.com>
@romanlutz romanlutz merged commit 7094c5e into Azure:main Feb 10, 2026
32 checks passed
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.

4 participants