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

Remove HIE_CACHE from circleci cache key #2050

Merged
merged 2 commits into from Jul 31, 2021
Merged

Remove HIE_CACHE from circleci cache key #2050

merged 2 commits into from Jul 31, 2021

Conversation

jneira
Copy link
Member

@jneira jneira commented Jul 29, 2021

This was added in haskell/haskell-ide-engine#968 (comment)
I think it is better to make explicit the invalidation with a commit, to make clear in the commit history when it was done

Will delete the env var from circleci config once this is merged

This was added in haskell/haskell-ide-engine#968 (comment)
I think it is better to make explicit the invalidation with a commit, to make clear in the commit history when it was done
@jneira jneira requested review from Ailrun and lukel97 July 29, 2021 07:16
@jneira
Copy link
Member Author

jneira commented Jul 29, 2021

As this will invalidate the cache for all prs, it will better wait to merge the ready ones

@jneira jneira changed the title Remove HIE_CACHE from cache key Remove HIE_CACHE from circleci cache key Jul 29, 2021
@Ailrun
Copy link
Member

Ailrun commented Jul 29, 2021

I think it's better to merge this after this release, as I will prepare the release in a few hours.

@jneira
Copy link
Member Author

jneira commented Jul 29, 2021

I think it's better to merge this after this release, as I will prepare the release in a few hours.

Sure, this can wait

Hey it will continue being July release for one day 😄

@jneira jneira added the merge me Label to trigger pull request merge label Jul 31, 2021
@mergify mergify bot merged commit 0e1e1a2 into master Jul 31, 2021
@jneira
Copy link
Member Author

jneira commented Aug 1, 2021

  • I've deleted the env var from circleci settings

@jneira jneira deleted the remove-hie-cache branch August 1, 2021 21:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants