fix: chores (#565)

This commit is contained in:
Jens Bergmann
2025-07-03 15:12:43 +02:00
committed by GitHub
parent 017047ba01
commit 7ff005d18b
5 changed files with 146 additions and 30 deletions

View File

@@ -149,7 +149,7 @@ Die Nutzung erfolgt auf eigenes Risiko. Jede rechtswidrige Verwendung ist unters
1. Execute `bash build-image.sh`
1. Ensure the image is build:
1. Ensure the image is built:
```
$ docker image ls