Caching out/ again

This commit is contained in:
Wen Kokke 2018-11-27 12:18:31 +00:00
parent e8b19582b0
commit 38fa476bc2

View file

@ -8,6 +8,7 @@ cache:
bundler: true
timeout: 1500
directories:
- out/
- $HOME/.stack
- $HOME/.agda
- $HOME/.local