use pg17 for benchmarking

Author: var77

.github/workflows/benchmark-linux.yaml

@@ -21,7 +21,7 @@ jobs:
 
       - name: Build
         id: build
-        run: sudo su -c "PG_VERSION=15 USE_SOURCE=1 USE_SSL=1 ./ci/scripts/build.sh"
+        run: sudo su -c "PG_VERSION=17 USE_SOURCE=1 USE_SSL=1 ./ci/scripts/build.sh"
         env:
           BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
 

ci/scripts/run-benchmarks.sh

@@ -4,11 +4,12 @@ set -e
 source "$(dirname "$0")/utils.sh"
 
 export WORKDIR=/tmp/lantern
-export PG_VERSION=15
+export PG_VERSION=17
 export GITHUB_OUTPUT=/dev/null
-export PGDATA=/etc/postgresql/$PG_VERSION/main
+export PGDATA=/var/lib/postgresql/$PG_VERSION/main
 
 echo "port = 5432" >> ${PGDATA}/postgresql.conf
+echo "shared_preload_libraries = 'lantern_extras' " >> ${PGDATA}/postgresql.conf
 # Enable auth without password
 echo "local   all             all                                     trust" >  $PGDATA/pg_hba.conf
 echo "host    all             all             127.0.0.1/32            trust" >>  $PGDATA/pg_hba.conf