The readme in .github/workflows needs an update.
- describe all workflows
- update current text
- rename to README.md so that it's rendered on the Github Page
|
# GitHub Action |
|
|
|
The GitHub action defined in [main.yml](main.yml) builds the Docker image for the devcontainer whenever the |
|
[Dockerfile](../../.devcontainer/Dockerfile) or the installed [dependencies](../../.devcontainer/installDependencies.sh) |
|
change. The image is pushed to the [Docker-Hub](https://hub.docker.com/r/seerep/dev-image/) afterwards. |
|
|
|
All pushes and pull request to the master branch are build in the docker container. Also the pre-commit checks are |
|
performed. |