Merge branch 'master' into upgrade_fix

Author: sokolcati

.gitignore

@@ -1,5 +1,4 @@
 .deps
-isolation_output
 results/*
 regression.diffs
 regression.out

.travis.yml

@@ -1,4 +1,6 @@
-sudo: required
+os: linux
+
+dist: focal
 
 language: c
 
@@ -18,18 +20,15 @@ notifications:
         on_failure: always
 
 env:
+    - PG_VERSION=16 LEVEL=hardcore
+    - PG_VERSION=16
+    - PG_VERSION=15 LEVEL=hardcore
+    - PG_VERSION=15
+    - PG_VERSION=14 LEVEL=hardcore
+    - PG_VERSION=14
+    - PG_VERSION=13 LEVEL=hardcore
+    - PG_VERSION=13
     - PG_VERSION=12 LEVEL=hardcore
     - PG_VERSION=12
     - PG_VERSION=11 LEVEL=hardcore
     - PG_VERSION=11
-    - PG_VERSION=10 LEVEL=hardcore
-    - PG_VERSION=10
-    - PG_VERSION=9.6 LEVEL=hardcore
-    - PG_VERSION=9.6
-    - PG_VERSION=9.5 LEVEL=hardcore
-    - PG_VERSION=9.5
-
-matrix:
-    allow_failures:
-        - env: PG_VERSION=10 LEVEL=nightmare
-        - env: PG_VERSION=9.6 LEVEL=nightmare