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 |