Navigation Menu

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.

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

GHA: fix caching cabal store & dist-newstyle #4553

Merged
merged 3 commits into from May 12, 2023
Merged

GHA: fix caching cabal store & dist-newstyle #4553

merged 3 commits into from May 12, 2023

Conversation

coot
Copy link
Contributor

@coot coot commented May 12, 2023

No description provided.

@coot coot added the CI Issues / PRs related to CI label May 12, 2023
@coot coot marked this pull request as ready for review May 12, 2023 05:21
@coot coot requested review from newhoggy and a team as code owners May 12, 2023 05:21
@coot coot marked this pull request as draft May 12, 2023 05:21
@coot coot marked this pull request as ready for review May 12, 2023 05:25
@coot coot enabled auto-merge May 12, 2023 06:51
@coot coot requested a review from bolt12 May 12, 2023 06:51
@coot coot force-pushed the coot/gha-caching branch 2 times, most recently from 28034c4 to 9e732c3 Compare May 12, 2023 07:26
coot added 2 commits May 12, 2023 09:39
The `weeknum` used to be empty, we can use hash of `cabal.project`
instead.
This way we can cache cabal store even if the build fails.
@coot coot added this pull request to the merge queue May 12, 2023
Merged via the queue into master with commit 792dc13 May 12, 2023
7 checks passed
@coot coot deleted the coot/gha-caching branch May 12, 2023 09:14
@coot coot added the networking label Jul 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Issues / PRs related to CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants