Build documentation

Test Publishing - Korrektur & Überarbeitung Build- und andere Workflows #41

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-documentation	40s
dump-contexts	4s
deploy-documentation	7s
	51s