From cad7b5e67d5e251078d8e8483c093285c1fe086c Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Tue, 8 Feb 2022 13:32:37 -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 52104269..190660d5 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -17,7 +17,7 @@ jobs: linux: strategy: matrix: - agda: [2.6.1.3, 2.6.2.1] + agda: [2.6.2.1] runs-on: ubuntu-latest steps: - uses: actions/checkout@v1