From 8c2e5a08ebc374b130a77fa6e3e0c87a4d39b94f Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 8 Apr 2022 19:27:33 -0500 Subject: [PATCH] Updated Agda version --- .github/workflows/prototyping.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index d5fbfbf5..5dbec2bf 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -10,9 +10,9 @@ jobs: linux: strategy: matrix: - agda: [2.6.2.1] - hackageDate: ["2022-01-31"] - hackageTime: ["23:42:28"] + agda: [2.6.2.2] + hackageDate: ["2022-04-07"] + hackageTime: ["23:06:28Z"] name: prototyping runs-on: ubuntu-latest steps: @@ -34,7 +34,7 @@ jobs: - name: cabal install working-directory: prototyping run: | - cabal install --allow-newer --lib scientific vector aeson text bytestring-0.11.3.0 --package-env . + cabal install --lib scientific vector aeson --package-env . cabal install --allow-newer Agda-${{ matrix.agda }} - name: check targets working-directory: prototyping