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

[ci] Use the token from the variable group #19234

Merged

rmarinho merged 1 commit into main from deploy-token

Dec 5, 2023

Member

rmarinho commented Dec 5, 2023 •

edited

Description of Change

See if this helps with #19228 by rebooting the agents using the correct token


          [ci] Use the token from the variable group

1195e23

rmarinho added the area/infrastructure 🏗️ label

rmarinho requested a review from a team as a code owner

December 5, 2023 17:55

rmarinho requested review from mattleibow, PureWeen and mjbond-msft

December 5, 2023 17:56

rmarinho added the t/housekeeping ♻︎ label

rmarinho merged commit 947a4b6 into main

47 of 48 checks passed

rmarinho deleted the deploy-token branch

December 5, 2023 20:10

github-actions bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.