YAML syntax

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 18:07:28 -05:00
parent 7410ac966b
commit d25c501e4a

View file

@ -12,7 +12,7 @@ jobs:
matrix:
agda: [2.6.2.1]
hackageDate: ["2022-01-31"]
hackageTime: ["23:42:28Z"]
hackageTime: ["23:42:28"]
name: prototyping
runs-on: ubuntu-latest
steps: