Merge branch 'pipeline' into 'master'

GitLab Pipeline

See merge request !1
2 jobs for master in 2 minutes and 37 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #11
compile

00:02:00

 
  Test
passed #12
test

00:00:36