--- trivial: - CI tests - fix integration test for synchronize to address changing behavior of devel.