Fix CI, don't test synthesizer.