Skip to content

Update common dependencies#332

Merged
bors[bot] merged 1 commit intonrf-rs:masterfrom
jonas-schievink:update-core-deps
Jul 4, 2021
Merged

Update common dependencies#332
bors[bot] merged 1 commit intonrf-rs:masterfrom
jonas-schievink:update-core-deps

Conversation

@jonas-schievink
Copy link
Copy Markdown
Contributor

@jonas-schievink jonas-schievink commented Jul 4, 2021

bors r+

bors Bot added a commit that referenced this pull request Jul 4, 2021
@bors @jonas-schievink
Merge #332
29d7c32 
332: Update common dependencies r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Jul 4, 2021

Build failed:

@jonas-schievink
Copy link
Copy Markdown
Contributor Author

jonas-schievink commented Jul 4, 2021

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Jul 4, 2021

Build succeeded:

@bors bors Bot merged commit 22015fc into nrf-rs:master Jul 4, 2021
@jonas-schievink jonas-schievink deleted the update-core-deps branch August 5, 2021 13:21
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

@jonas-schievink
⚡