YAML syntax

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 17:58:40 -05:00
parent 36566cd741
commit 63e9d555fa

View file

@ -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: |