Merge branch 'feature/infrastructure-updates' into 'master'
Infrastructure updates
See merge request !7 (merged)
(cherry picked from commit 44ad28d3)
f655c1d8 [doc] Update documentation 7b184a09 [cmake] Bump required version to 3.1.0 e8c5be3b [ci] Stop testing with Debian 8