From 7410ac966b8f0fe17da848a5ef1c288a4caafa8c Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Fri, 8 Apr 2022 18:06:34 -0500
Subject: [PATCH] YAML syntax

---
 .github/workflows/prototyping.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 2dac3a00..e5b7c2f1 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -11,7 +11,8 @@ jobs:
     strategy:
       matrix:
         agda: [2.6.2.1]
-        hackage: ["2022-01-31T23:42:28Z"]
+        hackageDate: ["2022-01-31"]
+        hackageTime: ["23:42:28Z"]
     name: prototyping
     runs-on: ubuntu-latest
     steps:
@@ -19,7 +20,7 @@ jobs:
     - uses: actions/cache@v2
       with:
         path: ~/.cabal/store
-        key: "prototyping-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackage }}"
+        key: "prototyping-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackageDate }}-${{ matrix.hackageTime }}"
     - uses: actions/cache@v2
       id: luau-ast-cache
       with:
@@ -29,7 +30,7 @@ jobs:
       run: sudo apt-get install -y cabal-install
     - name: cabal update
       working-directory: prototyping
-      run: cabal v2-update "hackage.haskell.org,${{ matrix.hackage }}"
+      run: cabal v2-update "hackage.haskell.org,${{ matrix.hackageDate }}T${{ matrix.hackageTime }}Z"
     - name: cabal install
       working-directory: prototyping
       run: |