diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5d6afd1..9b6612d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -17,4 +17,5 @@ jobs:
           ghc-version: 9.8.2
           cabal-version: 3.10.3.0
       - name: Install Agda
-        run: cabal install Agda
\ No newline at end of file
+        run: cabal install Agda
+      - 
\ No newline at end of file