Merge branch 'ci' into 'master'

Implement CI

See merge request !2
1 job for master in 6 minutes and 2 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed build #6305
docker-build-arm

00:06:02