# docker tools

The provided Dockerfile allows one to create a docker container that builds the diploma thesis.

# github tools

The provided GitHub action allow one to build the diploma thesis in an automated workflow.