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

appveyor: minor syntax change #4724

Merged
merged 2 commits into from
Oct 24, 2019
Merged

appveyor: minor syntax change #4724

merged 2 commits into from
Oct 24, 2019

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Oct 24, 2019

@tesuji tesuji changed the title appveyor: minor syntax change [WIP] appveyor: minor syntax change Oct 24, 2019
@tesuji tesuji changed the title [WIP] appveyor: minor syntax change appveyor: minor syntax change Oct 24, 2019
@phansch phansch closed this Oct 24, 2019
@phansch phansch reopened this Oct 24, 2019
@phansch
Copy link
Member

phansch commented Oct 24, 2019

oops, accidentally hit the close button 😅

@bors try

@bors
Copy link
Contributor

bors commented Oct 24, 2019

⌛ Trying commit 97d76f5 with merge a4fb8e0...

bors added a commit that referenced this pull request Oct 24, 2019
@bors
Copy link
Contributor

bors commented Oct 24, 2019

☀️ Try build successful - checks-travis, status-appveyor
Build commit: a4fb8e0 (a4fb8e0eac57166dcde128205be86e0e42fd8477)

@phansch
Copy link
Member

phansch commented Oct 24, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Oct 24, 2019

📌 Commit 97d76f5 has been approved by phansch

@bors
Copy link
Contributor

bors commented Oct 24, 2019

⌛ Testing commit 97d76f5 with merge 42f32a0...

bors added a commit that referenced this pull request Oct 24, 2019
@bors
Copy link
Contributor

bors commented Oct 24, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: phansch
Pushing 42f32a0 to master...

@bors bors merged commit 97d76f5 into rust-lang:master Oct 24, 2019
@tesuji tesuji deleted the minor-appveyor branch October 25, 2019 01:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants