From 6fe94e0664c750cb929690a1693243878436e1ce Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Fri, 8 Apr 2022 18:44:27 -0500
Subject: [PATCH] Pin bytestring again :(

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

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 8758aaa1..e2758d54 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -11,8 +11,6 @@ jobs:
     strategy:
       matrix:
         agda: [2.6.2.1]
-        hackageDate: ["2022-01-31"]
-        hackageTime: ["23:42:28"]
     name: prototyping
     runs-on: ubuntu-latest
     steps:
@@ -20,7 +18,7 @@ jobs:
     - uses: actions/cache@v2
       with:
         path: ~/.cabal/store
-        key: "prototyping-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackageDate }}-${{ matrix.hackageTime }}"
+        key: "prototyping-${{ runner.os }}-${{ matrix.agda }}"
     - uses: actions/cache@v2
       id: luau-ast-cache
       with:
@@ -35,7 +33,7 @@ jobs:
       working-directory: prototyping
       run: |
         cabal install Agda-${{ matrix.agda }}
-        cabal install --lib scientific vector aeson --package-env .
+        cabal install --lib scientific vector aeson bytestring-0.11.3.0 --package-env .
     - name: check targets
       working-directory: prototyping
       run: |