-
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
[server] allow prevent merge on failed prebuilds #7535
Conversation
2be866f
to
55ec837
Compare
Codecov Report
@@ Coverage Diff @@
## main #7535 +/- ##
=====================================
Coverage 9.53% 9.53%
=====================================
Files 18 18
Lines 1080 1080
=====================================
Hits 103 103
Misses 976 976
Partials 1 1
Flags with carried forward coverage won't be shown. Click here to find out more. Continue to review full report at Codecov.
|
Looking at this now 👀 |
/lgtm Codewise. Couldn't test it as I was unable to get the GitHub app installed in a preview env (internal conversation). |
LGTM label has been added. Git tree hash: d607e1a58bff842c6a18796bdf73bbc9ba074eb2
|
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: JanKoehnlein Associated issue: #7518 The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
Introduces an option to make the commit checks pass on the status of the prebuild, i.e. allows to prevent merging a PR when a prebuild failed.
fixes #7518
Release Notes
Documentation
https://github.com/gitpod-io/website/pull/1446