From 7badb4a0745f389761c169b94a33366eb3165cb3 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Tue, 8 Feb 2022 12:57:29 -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 b05d2067..5c79d059 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, .6.2.1] + agdaVersion: [2.5.4, 2.6.0, 2.6.1, 2.6.2.1] runs-on: ubuntu-latest steps: - uses: actions/checkout@v1