Use mysql for CI builds, since SQLite can not deal with the amount of parallel queries needed.