From ce9b7e4c701ac015fae9da7bb8129b2573950f03 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 7 Feb 2022 17:10:58 -0600 Subject: [PATCH] Add cabal update to workflow --- .github/workflows/prototyping.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 6b3386a9..500ebf4e 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -12,7 +12,7 @@ on: - 'prototyping/**' jobs: - unix: + linux: runs-on: ubuntu-latest steps: - uses: actions/checkout@v1 @@ -25,6 +25,9 @@ jobs: - name: check examples working-directory: prototyping run: agda Examples.agda + - name: cabal update + working-directory: prototyping + run: cabal update - name: cabal install working-directory: prototyping run: cabal install --lib aeson scientific vector