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

Fix deploy script #7857

Merged
merged 1 commit into from
Oct 21, 2021
Merged

Fix deploy script #7857

merged 1 commit into from
Oct 21, 2021

Conversation

flip1995
Copy link
Member

I broke this script in #7502, so that the stable symlink isn't generated
anymore. This reverts this change.

changelog: none

I broke this script in rust-lang#7502, so that the stable symlink isn't generated
anymore. This reverts this change.
@rust-highfive
Copy link

r? @xFrednet

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 21, 2021
@xFrednet
Copy link
Member

LGTM, thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Oct 21, 2021

📌 Commit 96126e7 has been approved by xFrednet

@bors
Copy link
Contributor

bors commented Oct 21, 2021

⌛ Testing commit 96126e7 with merge 6714eff...

@bors
Copy link
Contributor

bors commented Oct 21, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: xFrednet
Pushing 6714eff to master...

@bors bors merged commit 6714eff into rust-lang:master Oct 21, 2021
@flip1995 flip1995 deleted the fix_deploy branch October 21, 2021 22:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants