220 B
220 B
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.