Merge pull request 'use postgres 15 in CI' (#411) from ci-postgres-15 into develop