Bump CI.

diku-dk · Jun 26, 2024 · 838fc7d · 838fc7d
1 parent d09a74f
commit 838fc7d
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -10,13 +10,13 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
 
     steps:
-    - uses: actions/checkout@v3
-    - uses: haskell/actions/setup@v1
+    - uses: actions/checkout@v4
+    - uses: haskell-actions/setup@v2
       with:
-        ghc-version: '8.10'
+        ghc-version: '9.8.1'
     - uses: actions/cache@v3
       name: Caching
       with:
@@ -30,7 +30,7 @@ jobs:
     - name: Install Debian dependencies
       run: |
         sudo apt-get update
-        sudo apt-get install -y gnuplot imagemagick
+        sudo apt-get install -y gnuplot imagemagick ffmpeg
 
     - uses: diku-dk/[email protected]
       with: