Skip to content

Remove HIE_CACHE from circleci cache key#2050

Merged
mergify[bot] merged 2 commits into
masterfrom
remove-hie-cache
Jul 31, 2021
Merged

Remove HIE_CACHE from circleci cache key#2050
mergify[bot] merged 2 commits into
masterfrom
remove-hie-cache

Conversation

@jneira

@jneira jneira commented Jul 29, 2021

Copy link
Copy Markdown
Member

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

jneira commented Jul 29, 2021

Copy link
Copy Markdown
Member Author

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

Ailrun commented Jul 29, 2021

Copy link
Copy Markdown
Member

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

@jneira

jneira commented Jul 29, 2021

Copy link
Copy Markdown
Member Author

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

jneira commented Aug 1, 2021

Copy link
Copy Markdown
Member Author
  • 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.

3 participants