CI and Deploy Docs

Fix hang when using a remote server (was working only with embedded) #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-windows	9m 8s
build-macos	4m 20s
clang-format-check	36s
build-linux	3m 51s
deploy-docs	10s
	18m 5s