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

Borsify rustgc #37

Merged
merged 2 commits into from
Dec 23, 2020
Merged

Borsify rustgc #37

merged 2 commits into from
Dec 23, 2020

Conversation

jacob-hughes
Copy link
Contributor

This adds test coverage for --feature rustgc. It can be merged once softdevteam/alloy#21 lands.

@ltratt
Copy link
Member

ltratt commented Dec 23, 2020

bors r+

bors bot added a commit that referenced this pull request Dec 23, 2020
37: Borsify rustgc r=ltratt a=jacob-hughes

This adds test coverage for `--feature rustgc`. It can be merged once softdevteam/alloy#21 lands.

Co-authored-by: Jacob Hughes <jh@jakehughes.uk>
@bors
Copy link
Contributor

bors bot commented Dec 23, 2020

Build failed:

@jacob-hughes
Copy link
Contributor Author

Once this is squashed it should work!

@jacob-hughes
Copy link
Contributor Author

bors try

bors bot added a commit that referenced this pull request Dec 23, 2020
@bors
Copy link
Contributor

bors bot commented Dec 23, 2020

try

Build succeeded:

@jacob-hughes
Copy link
Contributor Author

This is ready for me to squash

@ltratt
Copy link
Member

ltratt commented Dec 23, 2020

Please squash.

@jacob-hughes
Copy link
Contributor Author

Squashed

@ltratt
Copy link
Member

ltratt commented Dec 23, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Dec 23, 2020

Build succeeded:

@bors bors bot merged commit 73aafc1 into softdevteam:master Dec 23, 2020
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.

2 participants