From f48a080af95027c2075fc69dfac166d76def7493 Mon Sep 17 00:00:00 2001 From: Ian Stanton Date: Wed, 12 Jul 2023 08:29:18 -0400 Subject: [PATCH] Update rum Dockerfile (#192) --- contrib/rum/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/contrib/rum/Dockerfile b/contrib/rum/Dockerfile index 10cdff10..e10c503b 100644 --- a/contrib/rum/Dockerfile +++ b/contrib/rum/Dockerfile @@ -22,6 +22,7 @@ RUN git clone https://github.com/postgres/postgres.git ARG PG_VERSION=15 +# Build extension RUN cd postgres && \ git fetch origin REL_${PG_VERSION}_STABLE && \ git checkout REL_${PG_VERSION}_STABLE && \