From b6b7597658335bd98a70361fcb12dc8c6683c46e Mon Sep 17 00:00:00 2001
From: Lily Brown <lbrown@roblox.com>
Date: Thu, 17 Feb 2022 16:32:36 -0800
Subject: [PATCH] more workflow tweaking

---
 .github/workflows/prototyping.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 09fa0f86..3b24cb12 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -47,9 +47,7 @@ jobs:
       working-directory: prototyping
       run: |
         cabal install Agda-${{ matrix.agda }}
-        cabal install --lib scientific --package-env .
-        cabal install --lib vector --package-env .
-        cabal install --lib aeson --package-env .
+        cabal install --lib scientific vector aeson --package-env .
     - name: check targets
       working-directory: prototyping
       run: |
@@ -63,10 +61,12 @@ jobs:
     - name: cmake configure
       run: |
         mkdir build
-        cmake build
+        cd build
+        cmake ../
     - name: cmake build luau-ast
+      working-directory: build
       run: |
-        cmake --build build/ --target Luau.Ast.CLI
+        cmake --build ../ --target Luau.Ast.CLI
     - name: run tests
       working-directory: prototyping
       run: |