Docs only on master #13

Job	Run time
Build (RelWithDebInfo)	4m 58s
Build (Release)	3m 18s
Build (Debug)	2m 23s
Build (RelWithDebInfo-noEigen)	6m 40s
Build & Test (RelWithDebInfo, no Eigen)	4m 46s
Build & Test (RelWithDebInfo + Eigen)	6m 10s
Build Docs	0s
	28m 15s

Provide feedback