Merge branch '362-dev-sqlite' into 'dev'

Resolve "Import/export in SQLite format"

See merge request !393
5 jobs for dev in 38 minutes and 10 seconds (queued for 5 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #17850
cabal

00:15:34

 
  Stack
passed #17851
stack

00:02:49

 
  Bench
manual #17852
allowed to fail manual
bench
 
  Test
passed #17857
test

00:19:47

failed #17853
test

00:16:35