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

Add should-be-pure & should-not-sleep lints #132

Merged
merged 23 commits into from
Mar 4, 2020

Conversation

spookydonut
Copy link
Collaborator

@spookydonut spookydonut commented Dec 18, 2019

@spookydonut spookydonut changed the title SHOULD_BE_PURE SHOULD_BE_PURE & SHOULD_NOT_SLEEP Jan 12, 2020
@spookydonut spookydonut force-pushed the pure branch 5 times, most recently from 031f982 to 2eaa262 Compare January 14, 2020 09:39
@SpaceManiac SpaceManiac changed the title SHOULD_BE_PURE & SHOULD_NOT_SLEEP Add should-be-pure & should-not-sleep lints Jan 21, 2020
@spookydonut spookydonut added this to the suite v1.4 milestone Mar 3, 2020
…nto pure

# Conflicts:
#	src/dreamchecker/main.rs
…nto pure

# Conflicts:
#	src/dreamchecker/lib.rs
@spookydonut spookydonut merged commit d0f3a87 into SpaceManiac:master Mar 4, 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.

SHOULD_NOT_SLEEP
1 participant