Agda install dir

luau-lang · Dec 1, 2023 · 391522e · 391522e
1 parent ea886ba
commit 391522e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -30,11 +30,11 @@ jobs:
         cabal install --allow-newer Agda-${{ matrix.agda }}
     - name: check targets
       run: |
-        ~/.cabal/bin/agda Everything.agda
+        ~/.local/bin/agda Everything.agda
     - name: build executables
       run: |
-        ~/.cabal/bin/agda --compile PrettyPrinter.agda
-        ~/.cabal/bin/agda --compile Interpreter.agda
+        ~/.local/bin/agda --compile PrettyPrinter.agda
+        ~/.local/bin/agda --compile Interpreter.agda
     - name: clone Luau
       uses: actions/checkout@v2
       with: