Skip to content

Change devcontainer to install tools at current commit #3837

@JulianFlesch

Description

@JulianFlesch

Description of feature

A proposed usecase for devcontainers in tools is testing changes in a PR.
Currently in a devcontainer only the state from last merge to dev or main is reflected so the version of tools from a PR has to be installed manually.

We should change (back) to (re)installing tool based on the current workspace in setup.sh

Only for tools itself, Not for TEMPLATE.

Metadata

Metadata

Assignees

Type

No type

Projects

Status

Todo

Relationships

None yet

Development

No branches or pull requests

Issue actions