CI: ubuntu 20.04 only has postgresql-server-dev-12

master
Martin Gerhardy 2021-04-15 23:13:32 +02:00
parent e761238af1
commit 0fe9a5e9b5
1 changed files with 2 additions and 2 deletions

View File

@ -57,7 +57,7 @@ jobs:
- name: Setup
run: |
sudo apt-get update
sudo apt-get install cmake debhelper devscripts build-essential lintian libsdl2-dev libuv1-dev libsdl2-mixer-dev postgresql-server-dev-13 libpq-dev libenet-dev opencl-c-headers wayland-protocols pkg-config uuid-dev
sudo apt-get install cmake debhelper devscripts build-essential lintian libsdl2-dev libuv1-dev libsdl2-mixer-dev postgresql-server-dev-12 libpq-dev libenet-dev opencl-c-headers wayland-protocols pkg-config uuid-dev
- name: Ubuntu
run: |
@ -103,7 +103,7 @@ jobs:
- name: Setup
run: |
sudo apt-get update
sudo apt-get install libsdl2-dev postgresql-server-dev-13 libpq-dev libenet-dev opencl-c-headers wayland-protocols pkg-config uuid-dev ninja-build
sudo apt-get install libsdl2-dev postgresql-server-dev-12 libpq-dev libenet-dev opencl-c-headers wayland-protocols pkg-config uuid-dev ninja-build
- name: Linux
run: |