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

Disable incremental prebuild when JetBrains caching changed #9925

Open
mustard-mh opened this issue May 11, 2022 · 2 comments
Open

Disable incremental prebuild when JetBrains caching changed #9925

mustard-mh opened this issue May 11, 2022 · 2 comments
Labels
meta: never-stale This issue can never become stale team: IDE type: bug Something isn't working

Comments

@mustard-mh
Copy link
Contributor

mustard-mh commented May 11, 2022

Bug description

Now gitpod have new .gitpod.yml support for JetBrains IDE caching (key jetbrains)

Once users change this field, we also need to disable incremental prebuild next time(like this PR #9830

Related code

private async isGoodBaseforIncrementalPrebuild(

Steps to reproduce

See PR #9830

@stale
Copy link

stale bot commented Aug 11, 2022

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the meta: stale This issue/PR is stale and will be closed soon label Aug 11, 2022
@stale stale bot closed this as completed Sep 26, 2022
@mustard-mh mustard-mh reopened this Oct 10, 2022
@stale stale bot removed the meta: stale This issue/PR is stale and will be closed soon label Oct 10, 2022
@stale
Copy link

stale bot commented Jan 10, 2023

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the meta: stale This issue/PR is stale and will be closed soon label Jan 10, 2023
@mustard-mh mustard-mh added the meta: never-stale This issue can never become stale label Jan 10, 2023
@stale stale bot removed the meta: stale This issue/PR is stale and will be closed soon label Jan 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta: never-stale This issue can never become stale team: IDE type: bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant