Skip to content

supervisor: use textformatter when in run-gp #15467

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

Conversation

andreafalzetti
Copy link
Contributor

@andreafalzetti andreafalzetti commented Dec 21, 2022

Description

Related Issue(s)

Fixes #

How to test

https://ide-superv378ed03f08.preview.gitpod-dev.com/workspaces

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, jetbrains, vscode, ssh

@roboquat
Copy link
Contributor

@andreafalzetti: 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-ide-supervisor-readable-logs.1 because the annotations in the pull request description changed
(with .werft/ from main)

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-ide-supervisor-readable-logs.3 because the annotations in the pull request description changed
(with .werft/ from main)

@roboquat roboquat added size/L and removed size/M labels Dec 22, 2022
@felladrin felladrin force-pushed the ide/supervisor-readable-logs branch 2 times, most recently from e2878fe to 171e95e Compare December 22, 2022 15:05
Co-authored-by: Andrea Falzetti <andrea@gitpod.io>
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
@felladrin felladrin force-pushed the ide/supervisor-readable-logs branch from 171e95e to ed8f01c Compare December 22, 2022 15:08
@andreafalzetti
Copy link
Contributor Author

Closing as this was merged into another branch: #15480

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