Remove Ubuntu 20.04 runner

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 36006cb6b03d25b3c5e887a18e4df052ba386ce6..70f8d1a242bd4eda19638f00e38564a8deb25174 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -40,7 +40,6 @@ jobs:
           # operating systems
           - { os: windows-latest, rust-version: stable,  target: 'x86_64-pc-windows-msvc',   publish: true }
           - { os: macos-latest,   rust-version: stable,  target: 'x86_64-apple-darwin',      publish: true }
-          - { os: ubuntu-20.04,   rust-version: stable,  target: 'x86_64-unknown-linux-gnu', publish: true }
           # architectures
           - { os: ubuntu-22.04,   rust-version: stable,  target: 'x86_64-unknown-linux-gnu', publish: true }
           - { os: ubuntu-22.04,   rust-version: stable,  target: 'i686-unknown-linux-gnu',   publish: true }
@@ -95,13 +94,13 @@ jobs:
 
   logtalk-test:
     # if: false # uncomment to disable job
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     needs: [build-test]
     steps:
       # Download prebuilt ubuntu binary from build-test job, setup logtalk
       - uses: actions/download-artifact@v4
         with:
-          name: scryer-prolog_ubuntu-20.04_x86_64-unknown-linux-gnu
+          name: scryer-prolog_ubuntu-22.04_x86_64-unknown-linux-gnu
       - run: |
           chmod +x scryer-prolog
           echo "$PWD" >> "$GITHUB_PATH"