test new ci script

Author: felixwellen

.github/workflows/ci-ubuntu.yml

@@ -42,9 +42,9 @@ on:
 ########################################################################
 
 env:
-  AGDA_BRANCH: v2.6.4.1
-  GHC_VERSION: 9.4.7
-  CABAL_VERSION: 3.6.2.0
+  AGDA_BRANCH: v2.7.0.1
+  GHC_VERSION: 9.10.2
+  CABAL_VERSION: 3.12.1.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'
   CACHE_PATHS: |
     ~/.cabal/packages
@@ -67,7 +67,7 @@ jobs:
       # absolutely necessary i.e. if we change either the version of Agda,
       # ghc, or cabal that we want to use for the build.
       - name: Restore external dependencies cache
-        uses: actions/cache/restore@v3
+        uses: actions/cache/restore@v4
         id: cache-external-restore
         with:
           path: ${{ env.CACHE_PATHS }}
@@ -98,7 +98,7 @@ jobs:
 
       - name: Save external dependencies cache
         if: steps.cache-external-restore.outputs.cache-hit != 'true'
-        uses: actions/cache/save@v3
+        uses: actions/cache/save@v4
         id: cache-external-save
         with:
           path: ${{ env.CACHE_PATHS }}
@@ -110,14 +110,14 @@ jobs:
 
       # By default github actions do not pull the repo
       - name: Checkout cubical
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       ########################################################################
       ## TESTING
       ########################################################################
 
       - name: Restore library cache
-        uses: actions/cache/restore@v3
+        uses: actions/cache/restore@v4
         id: cache-library-restore
         with:
           path: ./_build
@@ -137,7 +137,7 @@ jobs:
 
       - name: Save library cache
         if: steps.cache-library-restore.outputs.cache-hit != 'true'
-        uses: actions/cache/save@v3
+        uses: actions/cache/save@v4
         id: cache-library-save
         with:
           path: ./_build
@@ -157,7 +157,7 @@ jobs:
 
       - name: Deploy to GitHub Pages
         if: github.event_name == 'push' && github.ref_name == 'master'
-        uses: JamesIves/github-pages-deploy-action@4.1.8
+        uses: JamesIves/github-pages-deploy-action@4.7.3
         with:
           branch: gh-pages
           folder: html