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

[server] remove prebuilt time limit #5679

Merged
merged 1 commit into from Sep 14, 2021
Merged

Conversation

svenefftinge
Copy link
Member

Description

Removes the unnecessary check of prebuild times. The query is logged to take around 7 secs.

Release Notes

NONE

@geropl
Copy link
Member

geropl commented Sep 14, 2021

/werft run

👍 started the job as gitpod-build-se-no-prebuilt-time-limit.4

@geropl
Copy link
Member

geropl commented Sep 14, 2021

/lgtm

Code looks good, preview works.

@roboquat
Copy link
Contributor

LGTM label has been added.

Git tree hash: 0b765f4523d11df4f73c9b09b7e74ebd8a1caab3

@JanKoehnlein
Copy link
Contributor

/approve no-issue

@roboquat
Copy link
Contributor

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: geropl, JanKoehnlein

Associated issue requirement bypassed by: JanKoehnlein

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 /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@roboquat roboquat merged commit 240197f into main Sep 14, 2021
@roboquat roboquat deleted the se/no-prebuilt-time-limit branch September 14, 2021 10:07
@aledbf aledbf moved this from In Review to Awaiting Deployment in [DEPRECATED] Product Engineering Groundwork Sep 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

4 participants