Skip to content

Run cargo-careful in CI#944

Merged
bors[bot] merged 2 commits intomasterfrom
careful
Dec 27, 2022
Merged

Run cargo-careful in CI#944
bors[bot] merged 2 commits intomasterfrom
careful

Conversation

@taiki-e
Copy link
Copy Markdown
Member

@taiki-e taiki-e commented Dec 27, 2022

https://github.com/RalfJung/cargo-careful

This allows to catch UB like #940.

@taiki-e
Copy link
Copy Markdown
Member Author

taiki-e commented Dec 27, 2022

bors r+

bors Bot added a commit that referenced this pull request Dec 27, 2022
944: Run cargo-careful in CI r=taiki-e a=taiki-e

https://github.com/RalfJung/cargo-careful

This allows to catch UB like #940.

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

bors Bot commented Dec 27, 2022

Timed out.

@taiki-e
Copy link
Copy Markdown
Member Author

taiki-e commented Dec 27, 2022

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Dec 27, 2022

@bors bors Bot merged commit 960c08a into master Dec 27, 2022
@bors bors Bot deleted the careful branch December 27, 2022 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant