From 9afe603b780288a832b552d0b14b89b5c34455dc Mon Sep 17 00:00:00 2001 From: Robert Adams Date: Sat, 9 Dec 2023 15:14:31 +0000 Subject: [PATCH] test-18.04: try building on 20.04 since Github is not supporting 18.04 any more --- .github/workflows/build-18.04.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-18.04.yml b/.github/workflows/build-18.04.yml index 17524c2..94e455d 100644 --- a/.github/workflows/build-18.04.yml +++ b/.github/workflows/build-18.04.yml @@ -13,7 +13,7 @@ jobs: matrix: # os: [ ubuntu-latest, macos-latest, windows-latest ] include: - - os: ubuntu-18.04 + - os: ubuntu-20.04 osclass: ubuntu name: "BulletSim binary build for Ubuntu" build_type: Release