Another shot at caching

This commit is contained in:
ajeffrey@roblox.com 2022-02-08 12:57:29 -06:00
parent cf7a40c0d9
commit 7badb4a074

View file

@ -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