CI

Publish github pages to external repository #738

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Unit and Integration Tests	13m 45s
Build Release Candidate	5m 12s
doxygen	3m 21s
Lint	19m 51s
	42m 9s