Another shot at caching

This commit is contained in:
ajeffrey@roblox.com 2022-02-08 13:07:57 -06:00
parent 7badb4a074
commit df9c98fb95

View file

@ -20,7 +20,7 @@ jobs:
aesonVersion: [2.0.3.0] aesonVersion: [2.0.3.0]
scientificVersion: [0.3.7.0] scientificVersion: [0.3.7.0]
vectorVersion: [0.12.3.1] vectorVersion: [0.12.3.1]
agdaVersion: [2.5.4, 2.6.0, 2.6.1, 2.6.2.1] agdaVersion: [2.5.4.2, 2.6.0.1, 2.6.1.2, 2.6.2.1]
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v1 - uses: actions/checkout@v1