From cdcaa138c58438ac93e73e58f41c7d5ebebc7710 Mon Sep 17 00:00:00 2001 From: Anton Date: Tue, 18 Jul 2023 19:38:52 +0500 Subject: [PATCH] build: use ubuntu 20.04 instead of 22.04 --- .github/workflows/build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5441b31d..3bd4f08e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -24,7 +24,7 @@ jobs: strategy: matrix: include: - - os: ubuntu-latest + - os: ubuntu-20.04 - os: windows-latest - os: macos-latest @@ -39,7 +39,7 @@ jobs: make download-external - name: Build for Linux - if: matrix.os == 'ubuntu-latest' + if: matrix.os == 'ubuntu-20.04' run: | make compile-linux make test-all