Skip to content

Commit

Permalink
Add reviewers to scorpio update
Browse files Browse the repository at this point in the history
  • Loading branch information
iyannsch committed Oct 14, 2024
1 parent cb99407 commit 859eef9
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
4 changes: 3 additions & 1 deletion .github/workflows/scorpio_auto_update.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }}."
body: "This PR updates the verion of the scorpio plugin to the new release version ${{ env.RELEASE_VERSION }}."
reviewers: Mtze
team-reviewers: artemis-maintainers
2 changes: 1 addition & 1 deletion images/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 .
```
Expand Down

0 comments on commit 859eef9

Please sign in to comment.