-
Notifications
You must be signed in to change notification settings - Fork 1.9k
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 release binaries #1298
Add release binaries #1298
Conversation
/assign @dgrisonnet |
351ba9b
to
9ede487
Compare
8cca191
to
7911f54
Compare
Done |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
/retest
7911f54
to
e43f3e0
Compare
Done |
/test pull-metrics-server-test-version |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
/lgtm
/assign @serathius
9075f91
to
0feb714
Compare
Done |
/test pull-metrics-server-test-version |
1 similar comment
/test pull-metrics-server-test-version |
daaaa04
to
035dade
Compare
/lgtm Possible followup for making the |
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: dgrisonnet, serathius, wzshiming 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 |
What this PR does / why we need it:
I had tested
https://github.com/wzshiming/metrics-server/actions/runs/5724499140/job/15511107037
https://github.com/wzshiming/metrics-server/releases/tag/v0.7.0-alpha.2
Which issue(s) this PR fixes (optional, in
fixes #<issue number>(, fixes #<issue_number>, ...)
format, will close the issue(s) when PR gets merged):Fixes #1285