From cf7a40c0d92b4666e66e15c9712ffd4e37681b11 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Tue, 8 Feb 2022 12:56:57 -0600 Subject: [PATCH] Another shot at caching --- .github/workflows/prototyping.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 4766c60b..b05d2067 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -20,7 +20,7 @@ jobs: aesonVersion: [2.0.3.0] scientificVersion: [0.3.7.0] vectorVersion: [0.12.3.1] - agdaVersion: [2.5.4, 2.6.0, 2.6.1, 2.6.2, 2.6.2.1] + agdaVersion: [2.5.4, 2.6.0, 2.6.1, .6.2.1] runs-on: ubuntu-latest steps: - uses: actions/checkout@v1