Merge branch 'ci' into 'librem5'

Add back lost .gitlab-ci from f/ci

See merge request !7
2 jobs for librem5 in 1 minute and 17 seconds
Status Job ID Name Coverage
  Test
passed #10387
librem5
builtin_tests

00:00:39

 
  Pkg
passed #10388
librem5
build-debian-package

00:00:38