From 7dae33b7ae5bbddd26ea2d55f01bc9459a908686 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 7 Feb 2022 21:14:16 -0600 Subject: [PATCH] Try to get cabal weirdness not to be weird --- .github/workflows/prototyping.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 36b89654..83cdd1d9 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -23,11 +23,13 @@ jobs: - name: cabal update working-directory: prototyping run: cabal update - - name: cabal install dependencies + - name: cabal install working-directory: prototyping - run: cabal install --lib aeson scientific vector - - name: cabal install agda - run: cabal install Agda + run: | + cabal install --lib aeson + cabal install --lib scientific + cabal install --lib vector + cabal install Agda - name: check examples working-directory: prototyping run: ~/.cabal/bin/agda Examples.agda