Skip to content

[public-api-server] Setup leeway #9234

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Apr 12, 2022
Merged

[public-api-server] Setup leeway #9234

merged 1 commit into from
Apr 12, 2022

Conversation

easyCZ
Copy link
Member

@easyCZ easyCZ commented Apr 11, 2022 •
edited
Loading

Description

Setup leeway for the newly added public-api-server component (See #9228).

Related Issue(s)

Related to #9229

How to test

  1. Ensure we can pull the image from our registry
gitpod/components/public-api-server on  mp/papi-leeway via 🐹 v1.17.5 using ☁️  default/gitpod-core-dev took 2s 
➜ docker pull eu.gcr.io/gitpod-core-dev/build/public-api-server:mp-papi-leeway.10
mp-papi-leeway.10: Pulling from gitpod-core-dev/build/public-api-server
df9b9388f04a: Pull complete 
e444b518f5d0: Pull complete 
4da8a3676be1: Pull complete 
0a5e804950c2: Pull complete 
684333a21920: Pull complete 
Digest: sha256:fdaf8141f9a1d016e706b53ff591bb8478544f8505d28a9c7e00de56fa326bf9
Status: Downloaded newer image for eu.gcr.io/gitpod-core-dev/build/public-api-server:mp-papi-leeway.10
eu.gcr.io/gitpod-core-dev/build/public-api-server:mp-papi-leeway.10

gitpod/components/public-api-server on  mp/papi-leeway via 🐹 v1.17.5 using ☁️  default/gitpod-core-dev took 6s 
➜ docker run -it eu.gcr.io/gitpod-core-dev/build/public-api-server:mp-papi-leeway.10   
Hello world!
  1. CI works

Release Notes

NONE

Documentation

NONE

/hold

@easyCZ
Copy link
Member Author

easyCZ commented Apr 11, 2022 •
edited by werft-gitpod-dev-com bot
Loading

/werft run

👍 started the job as gitpod-build-mp-papi-leeway.3

@easyCZ easyCZ mentioned this pull request Apr 11, 2022
Closed
40 tasks
@easyCZ easyCZ marked this pull request as ready for review April 12, 2022 08:50
@easyCZ easyCZ requested a review from a team April 12, 2022 08:50
@github-actions github-actions bot added the team: webapp Issue belongs to the WebApp team label Apr 12, 2022
@easyCZ
Copy link
Member Author

easyCZ commented Apr 12, 2022

<3 @andrew-farries

@easyCZ
Copy link
Member Author

easyCZ commented Apr 12, 2022

/unhold

@roboquat roboquat merged commit 01b3dc2 into main Apr 12, 2022
@roboquat roboquat deleted the mp/papi-leeway branch April 12, 2022 10:56
@roboquat roboquat added deployed: webapp Meta team change is running in production deployed Change is completely running in production labels Apr 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@andrew-farries andrew-farries andrew-farries approved these changes

Assignees
No one assigned
Labels
deployed: webapp Meta team change is running in production deployed Change is completely running in production release-note-none size/L team: webapp Issue belongs to the WebApp team
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@easyCZ @andrew-farries @roboquat