Merge branch 'dev' into 'master'

Update CI config, fix missing comma in db.sql

See merge request !4
1 job for master in 1 second (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #1455
production
job2

00:00:01