From 606e766f8927150ef9683c41c03b487974be96de Mon Sep 17 00:00:00 2001 From: andys8 Date: Sun, 10 Sep 2023 14:07:45 +0200 Subject: [PATCH] CI: Ubuntu 20.04 --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4f54fb7..f6fd804 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -10,7 +10,7 @@ jobs: runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@v3 - - if: matrix.os == 'ubuntu-latest' + - if: matrix.os == 'ubuntu-20.04' uses: actions/cache@v3 name: Cache ~/.stack with: @@ -36,7 +36,7 @@ jobs: cabal: strategy: matrix: - os: [ubuntu-latest] + os: [ubuntu-20.04] runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@v3