From 63e9d555faf58d69de4c4ff294b23d1fd1a56886 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 8 Apr 2022 17:58:40 -0500 Subject: [PATCH] YAML syntax --- .github/workflows/prototyping.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index f22aa3e7..43b6ec6c 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -10,8 +10,8 @@ jobs: linux: strategy: matrix: - agda: ['2.6.2.1'] - hackage: ['hackage.haskell.org,2022-01-31T23:42:28Z'] + agda: [2.6.2.1] + hackage: ["2022-01-31T23:42:28Z"] name: prototyping runs-on: ubuntu-latest steps: @@ -29,7 +29,7 @@ jobs: run: sudo apt-get install -y cabal-install - name: cabal update working-directory: prototyping - run: cabal v2-update ${{ matrix.hackage }} + run: cabal v2-update hackage.haskell.org,${{ matrix.hackage }} - name: cabal install working-directory: prototyping run: |