Merge branch 'pipeline' into 'master'

GitLab Pipeline

See merge request !1
2 jobs for master in 2 minutes and 44 seconds
latest
Status Job ID Name Coverage
  Build
passed #14
compile

00:02:12

 
  Test
passed #15
test

00:00:32