CI/CD: run everything with PostgreSQL 13

Merged Georges Racinet requested to merge topic/heptapod/pg-13 into branch/heptapod

🚀

Merge request reports