From 9bcd346bd340f6987bc8a4d78fb77132c961b1fc Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Fri, 8 Apr 2022 17:42:39 -0500
Subject: [PATCH] YAML syntax

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

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 53ca3c54..916ee652 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -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: