use fix-whitespace action

Author: felixwellen

.github/workflows/ci-ubuntu.yml

@@ -87,15 +87,7 @@ jobs:
           ${{ env.CABAL_INSTALL }}
           cd ..
           rm -rf agda
-
-      - name: Download and install fix-whitespace
-        if: steps.cache-external-restore.outputs.cache-hit != 'true'
-        run: |
-          git clone https://github.com/agda/fix-whitespace --depth=1
-          cd fix-whitespace
-          ${{ env.CABAL_INSTALL }} fix-whitespace.cabal
-          cd ..
-
+	  
       - name: Save external dependencies cache
         if: steps.cache-external-restore.outputs.cache-hit != 'true'
         uses: actions/cache/save@v4
@@ -111,6 +103,8 @@ jobs:
       # By default github actions do not pull the repo
       - name: Checkout cubical
         uses: actions/checkout@v4
+      - uses: andreasabel/fix-whitespace-action@v1
+
 
       ########################################################################
       ## TESTING
@@ -132,7 +126,7 @@ jobs:
         run: |
           make test \
             AGDA_EXEC='~/.cabal/bin/agda -WnoUnsupportedIndexedMatch -W error' \
-            FIX_WHITESPACE='~/.cabal/bin/fix-whitespace' \
+            FIX_WHITESPACE='~/.local/bin/fix-whitespace' \
             EVERYTHINGS='cabal run Everythings'
 
       - name: Save library cache
@@ -152,7 +146,7 @@ jobs:
         run: |
           make listings \
             AGDA_EXEC='~/.cabal/bin/agda -WnoUnsupportedIndexedMatch -W error' \
-            FIX_WHITESPACE='~/.cabal/bin/fix-whitespace' \
+            FIX_WHITESPACE='~/.local/bin/fix-whitespace' \
             EVERYTHINGS='cabal run Everythings'
 
       - name: Deploy to GitHub Pages