Date formats

This commit is contained in:
ajeffrey@roblox.com 2022-04-08 19:46:24 -05:00
parent 8c2e5a08eb
commit 669f1488b8

View file

@ -12,7 +12,7 @@ jobs:
matrix:
agda: [2.6.2.2]
hackageDate: ["2022-04-07"]
hackageTime: ["23:06:28Z"]
hackageTime: ["23:06:28"]
name: prototyping
runs-on: ubuntu-latest
steps: