ci: adds ci for publishing the documentation#30

hav-johwal merged 1 commit intomainFocusFish/focusfish.github.io:mainfrom

build/documentationFocusFish/focusfish.github.io:build/documentationCopy head branch name to clipboard