diff --git a/.github/workflows/idris2-ci.yml b/.github/workflows/idris2-ci.yml
index 68bdbf5a..754963bb 100644
--- a/.github/workflows/idris2-ci.yml
+++ b/.github/workflows/idris2-ci.yml
@@ -24,7 +24,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        idris2-version: ['0.7.0']
+        idris2-version: ['0.8.0']
 
     steps:
       - name: Checkout
@@ -93,14 +93,14 @@ jobs:
         with:
           path: |
             ~/.idris2
-            ~/idris2-0.7.0
-          key: idris2-0.7.0-${{ runner.os }}
+            ~/idris2-0.8.0
+          key: idris2-0.8.0-${{ runner.os }}
 
       - name: Install Idris 2
         if: steps.cache-idris2.outputs.cache-hit != 'true'
         run: |
-          git clone --depth 1 --branch v0.7.0 https://github.com/idris-lang/Idris2.git ~/idris2-0.7.0
-          cd ~/idris2-0.7.0
+          git clone --depth 1 --branch v0.8.0 https://github.com/idris-lang/Idris2.git ~/idris2-0.8.0
+          cd ~/idris2-0.8.0
           make bootstrap SCHEME=chezscheme
           make install