-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Add theia-ide/theia PR check that tests against Developer Sandbox #13258
Comments
Issues go stale after Mark the issue as fresh with If this issue is safe to close now please do so. Moderators: Add |
/remove-lifecycle stale |
Issues go stale after Mark the issue as fresh with If this issue is safe to close now please do so. Moderators: Add |
Changed that to target developer sandbox |
Issues go stale after Mark the issue as fresh with If this issue is safe to close now please do so. Moderators: Add |
/remove-lifecycle stale |
potentially related to the story #20155 |
Issues go stale after Mark the issue as fresh with If this issue is safe to close now please do so. Moderators: Add |
Description
In theia-ide/theia there are a few PR checks including a Gitpod check (see screenshot below). We should add an hosted Che (currently
che.openshift.ioRed Hat Developer Sandbox) check. This check should:che-theia
image based on the PR source codeche-theia
image ascheEditor
cc @evidolob @benoitf FYI
The text was updated successfully, but these errors were encountered: