Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve GitHub Actions CI cache support #398

Closed
1 task
chshersh opened this issue Jan 29, 2020 · 0 comments · Fixed by #413
Closed
1 task

Improve GitHub Actions CI cache support #398

chshersh opened this issue Jan 29, 2020 · 0 comments · Fixed by #413
Assignees
@chshersh
Labels
CI CI tools support; project CI; build with different GHC, tools generated project Files, folder generation by the summoner
Milestone
v2.0: Major update

Comments

@chshersh
Copy link
Contributor

  • Cache only ~/.cabal/store on GitHub actions
@chshersh chshersh added generated project Files, folder generation by the summoner CI CI tools support; project CI; build with different GHC, tools labels Jan 29, 2020
@chshersh chshersh added this to the v2.0: Major update milestone Jan 29, 2020
@chshersh chshersh self-assigned this Feb 21, 2020
chshersh added a commit that referenced this issue Feb 21, 2020
@chshersh
[#398] Improve GitHub Actions CI cache support
da18582 
Resolves #398
chshersh added a commit that referenced this issue Feb 21, 2020
@chshersh
[#398] Improve GitHub Actions CI cache support
379d5a7 
Resolves #398
@chshersh chshersh mentioned this issue Feb 21, 2020
Merged
chshersh added a commit that referenced this issue Feb 21, 2020
@chshersh
[#398] Improve GitHub Actions CI cache support (#413)
795b45c 
Resolves #398
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chshersh chshersh

Labels
CI CI tools support; project CI; build with different GHC, tools generated project Files, folder generation by the summoner
Projects
None yet
Milestone
v2.0: Major update
Development

Successfully merging a pull request may close this issue.

[#398] Improve GitHub Actions CI cache support kowainik/summoner
1 participant
@chshersh