From 8c390ffee206b9919c6c9ced2edd794ab9ec830d Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 7 Feb 2022 20:10:15 -0600 Subject: [PATCH] Try to get cabal weirdness not to be weird --- .github/workflows/prototyping.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index d8c9a8e1..36b89654 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -23,7 +23,10 @@ jobs: - name: cabal update working-directory: prototyping run: cabal update - - name: install agda + - name: cabal install dependencies + working-directory: prototyping + run: cabal install --lib aeson scientific vector + - name: cabal install agda run: cabal install Agda - name: check examples working-directory: prototyping @@ -32,9 +35,6 @@ jobs: run: cmake . - name: cmake build luau-ast run: cmake --build . --target Luau.Ast.CLI - - name: cabal install - working-directory: prototyping - run: cabal install --lib aeson scientific vector - name: build PrettyPrinter working-directory: prototyping run: ~/.cabal/bin/agda --compile PrettyPrinter.agda