Build documentation

Test Publishing - erneute Korrekturen Workflows /2. #44

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-documentation	39s
dump-contexts	1s
deploy-documentation	7s
	47s