Merge branch '182-build-pipelines-use-gitlab-ci-cache' into 'develop'

Resolve "Build pipelines: use Gitlab CI cache"

Closes #182

See merge request !188
6 jobs for develop in 81 minutes and 41 seconds (queued for 32 minutes and 51 seconds)
latest
Status Job ID Name Coverage
  Dist
passed #1088306
dist

00:55:09

 
  Check
passed #1088309
check

00:14:39

passed #1088317
deb

00:16:21

passed #1088312
mingw

00:21:47

 
  Manual
passed #1088321
pages

00:04:44

 
  Deploy
passed pages:deploy

00:00:01