Add a docker build environment in order to speed up builds

ethz-asl / aerial_mapper

Real-time Dense Point Cloud, Digital Surface Map (DSM) and (Ortho-)Mosaic Generation for UAVs

BSD 3-Clause "New" or "Revised" License

543 stars 156 forks source link

Add a docker build environment in order to speed up builds #49

Closed Jaeyoung-Lim closed 3 years ago

Jaeyoung-Lim commented 3 years ago

Problem Description This package takes about ~70min to build on github actions. This is highly inefficient and unnecessary. Therefore a docker environment is added so that we can speed up the builds. The intention is to pre-build all the dependencies and build the aerial_mapper after that

ethzasl-jenkins commented 3 years ago

Can one of the admins verify this patch?