Deploy documentation to Pages

Merge pull request #810 from veselypeta/petr/port-ctest-parser #417

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 30s
deploy	7s
	1m 37s