Skip to content

[jetbrains]: force initialize maven project #13679

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

Closed
wants to merge 1 commit into from
Closed

Conversation

akosyakov
Copy link
Member

@akosyakov akosyakov commented Oct 7, 2022

Description

to work around initialization after warmup in prebuilds

Related Issue(s)

Fixes #

How to test

Release Notes

Documentation

Werft options:

  • /werft with-local-preview
    If enabled this will build install/preview
  • /werft with-preview
  • /werft with-large-vm
  • /werft with-integration-tests=all
    Valid options are all, workspace, webapp, ide

@roboquat
Copy link
Contributor

roboquat commented Oct 7, 2022

@akosyakov: Adding the "do-not-merge/release-note-label-needed" label because no release-note block was detected, please follow our release note process to remove it.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-ak-init-maven.1 because the annotations in the pull request description changed
(with .werft/ from main)

@roboquat roboquat added the size/M label Oct 7, 2022
to work around initialization after warmup in prebuilds
@stale
Copy link

stale bot commented Oct 22, 2022

This pull request 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 Oct 22, 2022
@stale stale bot closed this Oct 30, 2022
@felladrin
Copy link
Contributor

I've opened a new PR for checking it, as this one couldn't be reopened:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants