From beb76bc365e80a8d2bd872fae92f13cb34ef8d6e Mon Sep 17 00:00:00 2001
From: Oliver Gugger <gugger@gmail.com>
Date: Thu, 31 Aug 2023 14:50:37 +0200
Subject: [PATCH] github: use ubuntu 20.04 runner for postgres

It seems like Ubuntu 22.04 (current latest) terminates build jobs
because of high CPU usage sometimes (see
https://github.com/actions/runner-images/issues/6680).

We attempt to fix this by using the older runner.
---
 .github/workflows/main.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 9d91128d3..8a3e09f69 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -209,7 +209,7 @@ jobs:
   ########################
   integration-test-postgres:
     name: run itests postgres
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     steps:
       - name: git checkout
         uses: actions/checkout@v3