Use andreasabel/fix-whitespace-action

Author: andreasabel

.github/workflows/ci.yml

@@ -3,6 +3,16 @@ name: CI
 # Trigger the workflow on push or pull request, but only for the master branch
 on:
   pull_request:
+    paths:
+      - 'lib/**'
+      - 'src/**'
+      - 'test/**'
+      - 'lib/base/base.agda-lib'
+      - 'agda2hs.cabal'
+      - 'cabal.project'
+      - 'Makefile'
+      - '.github/workflows/**.yml'
+    branches: [master]
   push:
     paths:
       - 'lib/**'
@@ -52,12 +62,13 @@ jobs:
         cabal build --dry-run
       # cabal build --dry-run creates dist-newstyle/cache/plan.json
 
-    # Install fix-whitespace since we need it for tests.
-    # This is done after the freeze to make sure we re-use the packages
-    - name: Install fix-whitespace
-      run: |
-        echo "import: cabal.project" > cabal.project.ci
-        cabal install fix-whitespace --project-file=cabal.project.ci
+    # Andreas, 2025-11-28, AIM XLI, use fix-whitespace-action
+    # # Install fix-whitespace since we need it for tests.
+    # # This is done after the freeze to make sure we re-use the packages
+    # - name: Install fix-whitespace
+    #   run: |
+    #     echo "import: cabal.project" > cabal.project.ci
+    #     cabal install fix-whitespace --project-file=cabal.project.ci
 
     # Cache the contents of ~/.cabal/store to avoid rebuilding dependencies for
     # every build. `restore-keys` makes it use the latest cache even if the
@@ -73,8 +84,11 @@ jobs:
         key:          ${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('**/plan.json') }}
         restore-keys: ${{ runner.os }}-${{ matrix.ghc }}-
 
+    - name: Run fix-whitespace
+      uses: andreasabel/fix-whitespace-action@v1
+
     - name: Run test suite
-      run: make test && git diff --exit-code
+      run: make test-on-CI && git diff --exit-code
 
     - name: Generate Prelude HTML
       if: ${{ (matrix.ghc == matrix.deploy-ghc) && (github.ref == 'refs/heads/master') }}

.github/workflows/docs.yml

@@ -6,6 +6,10 @@ on:
   push:
     branches: [master]
 
+  # Runs on PRs targeting the default branch
+  pull_request:
+    branches: [master]
+
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 

Makefile

@@ -1,4 +1,4 @@
-.PHONY : install agda repl libHtml test testContainers testHtml golden docs
+.PHONY : install agda repl libHtml testContainers test test-on-CI testHtml golden clean docs
 FILES = $(shell find src -type f)
 
 build :
@@ -23,7 +23,9 @@ test/agda2hs : $(FILES)
 testContainers:
 	cd ./lib/containers && ./generate-haskell.sh && cabal build containers-prop
 
-test : checkWhitespace test/agda2hs testContainers
+test : checkWhitespace test-on-CI
+
+test-on-CI : test/agda2hs testContainers
 	make -C test
 
 testHtml : test/agda2hs