YAML syntax

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 17:42:39 -05:00
parent 011409b92d
commit 9bcd346bd3

View file

@ -10,8 +10,8 @@ jobs:
linux:
strategy:
matrix:
agda: [2.6.2.1]
hackage: [2022-01-31T23:42:28Z]
agda: ['2.6.2.1']
hackage: ['2022-01-31T23:42:28Z']
name: prototyping
runs-on: ubuntu-latest
steps: