6 commits

Author	SHA1	Message	Date
Brad Cowie	06abf58801	Use multi-stage docker build to reduce image size.	2020-08-05 20:51:35 +12:00
Brad Cowie	c94f6bad24	Add docker image building via github actions.	2020-06-08 09:40:57 +12:00
bert hubert	e481d4a284	make compressed protocol less chatty & default	2020-04-28 11:17:55 +02:00
Brad Cowie	1e4d0589db	Install git during docker build so update-git-hash-if-necessary works.	2019-12-29 19:48:04 +13:00
Brad Cowie	cb989825b7	Install libeigen3-dev during docker build.	2019-10-28 17:56:19 +13:00
Konrad Wojas	4ea3eee010	Add a Dockerfile	2019-09-27 16:31:29 +08:00