Merge pull request #167 from ethz-asl/feature/ci #25

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docker images (dev)	5m 36s
Build docker images (robot)	5m 2s
Build docker images (demo)	10m 47s
	21m 25s