Merge pull request #168 from garlick/issue_refs #184

Job	Run time
build (gcc, ubuntu-latest)	4m 23s
build (clang, ubuntu-latest)	4m 23s
check minimal configuration	1m 27s
build-only check for RDMA (experimental)	37s
	10m 50s

Provide feedback