Skip to content

Docker setup improvements#7

Merged
martonbognar merged 2 commits intomainfrom
setup-improvements
Mar 20, 2026
Merged

Docker setup improvements#7
martonbognar merged 2 commits intomainfrom
setup-improvements

Conversation

@martonbognar
Copy link
Member

  • Only install a single compiler version
  • Remove toolchain installation files
  • Streamline docker compose instructions and include steps for using the prebuilt image

@martonbognar martonbognar merged commit 5dcdd18 into main Mar 20, 2026
7 checks passed
@martonbognar martonbognar deleted the setup-improvements branch March 20, 2026 00:10
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.

1 participant