Out-of-tree build: build job and a fix
302f2b98 adds out-of-tree CI build job. Fixes #1546 (closed).
2da5a853 adds missing include identified by 302f2b98. Fixes #1547 (closed).
Edited by Michal Nowak
302f2b98 adds out-of-tree CI build job. Fixes #1546 (closed).
2da5a853 adds missing include identified by 302f2b98. Fixes #1547 (closed).