Bump CI to Agda 2.7.0.1

Author: andreasabel

.github/workflows/agda-ci.yml

@@ -20,13 +20,13 @@ jobs:
           - 2.6.1.3
           - 2.6.2.2
           - 2.6.3
-          - 2.6.4
-          - 2.6.4.1
+          - 2.6.4.3
+          - 2.7.0.1
 
     steps:
 
       # Checkout to $HOME empties $HOME so we have to do it before we put stuff there.
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       - name: Setup Agda
         uses: wenkokke/setup-agda@main