Skip to content
This repository was archived by the owner on Dec 2, 2020. It is now read-only.

Stub out CI #60

Merged
merged 1 commit into from
Nov 10, 2020
Merged

Stub out CI #60

merged 1 commit into from
Nov 10, 2020

Conversation

@jonas-schievink
Copy link
Contributor

@jonas-schievink jonas-schievink commented Nov 10, 2020

Unblocks #59

@jonas-schievink jonas-schievink requested a review from a team as a code owner November 10, 2020 21:58
@rust-highfive
Copy link

rust-highfive commented Nov 10, 2020

r? @therealprof

(rust_highfive has picked a reviewer for you, use r? to override)

thalesfragoso
thalesfragoso approved these changes Nov 10, 2020
View reviewed changes
Copy link
Member

@thalesfragoso thalesfragoso left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 10, 2020

Build succeeded:

@bors bors bot merged commit d4784ae into rust-embedded:master Nov 10, 2020
@jonas-schievink jonas-schievink deleted the dummy-ci branch November 10, 2020 22:55
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@thalesfragoso thalesfragoso thalesfragoso approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@therealprof therealprof

Labels

S-waiting-on-review T-cortex-m

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@jonas-schievink @rust-highfive @thalesfragoso @therealprof