Skip to content

Tweak CI config#99

Merged
bors[bot] merged 1 commit intomasterfrom
ci
Sep 20, 2019
Merged

Tweak CI config#99
bors[bot] merged 1 commit intomasterfrom
ci

Conversation

@taiki-e
Copy link
Owner

@taiki-e taiki-e commented Sep 20, 2019

No description provided.

@taiki-e
Copy link
Owner Author

taiki-e commented Sep 20, 2019

bors r+

bors bot added a commit that referenced this pull request Sep 20, 2019
@bors @taiki-e
Merge #93 #99
895c3be 
93: Add project_ref method and #[project_ref] attribute r=taiki-e a=taiki-e

Closes #92

99: Tweak CI config r=taiki-e a=taiki-e



Co-authored-by: Taiki Endo <te316e89@gmail.com>
@bors
Copy link
Contributor

bors bot commented Sep 20, 2019

Build succeeded

  • taiki-e.pin-project

@bors bors bot merged commit db96c5e into master Sep 20, 2019
@taiki-e taiki-e deleted the ci branch September 20, 2019 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@taiki-e