Another shot at caching

This commit is contained in:
ajeffrey@roblox.com 2022-02-08 13:57:32 -06:00
parent 521c44e065
commit fdb9c90ccd

View file

@ -23,9 +23,7 @@ jobs:
- uses: actions/checkout@v1 - uses: actions/checkout@v1
- uses: actions/cache@v2 - uses: actions/cache@v2
with: with:
path: | path: ~/.cabal/store
~/.cabal/store
build
key: prototyping-${{ runner.os }}-${{ matrix.agda }} key: prototyping-${{ runner.os }}-${{ matrix.agda }}
- name: install cabal - name: install cabal
run: sudo apt-get install -y cabal-install run: sudo apt-get install -y cabal-install