Skip to content

Improve docker_run.sh and devcontainers#29

Merged
beniaminopozzan merged 3 commits into
mainfrom
fix/docker_run
Oct 21, 2025
Merged

Improve docker_run.sh and devcontainers#29
beniaminopozzan merged 3 commits into
mainfrom
fix/docker_run

fix: no-gui devcontainer name

e9d7923
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar