diff --git a/.github/workflows/scorpio_auto_update.yml b/.github/workflows/scorpio_auto_update.yml index 790e03b80..9106bbe3c 100644 --- a/.github/workflows/scorpio_auto_update.yml +++ b/.github/workflows/scorpio_auto_update.yml @@ -32,4 +32,6 @@ jobs: delete-branch: true commit-message: "Update scorpio with release version ${{ env.RELEASE_VERSION }}" title: "Update scorpio with release version ${{ env.RELEASE_VERSION }}" - body: "This PR updates the verion of the scorpio plugin to the new release version ${{ env.RELEASE_VERSION }}." \ No newline at end of file + body: "This PR updates the verion of the scorpio plugin to the new release version ${{ env.RELEASE_VERSION }}." + reviewers: Mtze + team-reviewers: artemis-maintainers \ No newline at end of file diff --git a/images/README.md b/images/README.md index f23905d5c..2cc5eece0 100644 --- a/images/README.md +++ b/images/README.md @@ -54,7 +54,7 @@ Theia offers a large built-in plugin bundling all those (82) functions and langu To test images locally, they need to be pulled from ghcr.io. You can also built them yourself by starting with the BaseImage and follow with the respective ToolImage afterwards. ``` -docker build -t ghcr.io/ls1intum/theia/base-ide -f images/base-ide/BaseDockerfile . +docker build -t ghcr.io/ls1intum/theia/base -f images/base-ide/BaseDockerfile . docker build -t ghcr.io/ls1intum/theia/java-17 -f images/java-17/ToolDockerfile . ```