greg/mentat
1
0
Fork 0
Code Issues 294 Pull requests Projects Releases 9 Packages Wiki Activity

lint #3

Merged
gburd merged 2 commits from gburd/learning-by-linting into master 2020-01-31 18:59:39 +00:00
Conversation 0 Commits 2 Files changed 52 +762 -621
gburd commented 2020-01-31 18:02:42 +00:00 (Migrated from github.com)
Copy link

Attempting to cleanup with clippy, rustfmt, etc. and also integrate https://github.com/mozilla/mentat/pull/806

Attempting to cleanup with clippy, rustfmt, etc. and also integrate https://github.com/mozilla/mentat/pull/806
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
A-build

   
A-cli

   
A-core

   
A-design

   
A-edn

   
A-ffi

   
A-query

   
A-sdk

   
A-sdk-android

   
A-sdk-ios

   
A-sync

   
A-transact

   
A-views

   
A-vocab

   
P-Android

   
P-desktop

   
P-iOS

   
bug

Something isn't working

  
correctness

   
dependencies

Pull requests that update a dependency file

  
dev-ergonomics

   
discussion

   
documentation

   
duplicate

This issue or pull request already exists

  
enhancement

New feature or request

  
enquiry

   
good first bug

   
good first issue

Good for newcomers

  
help wanted

Extra attention is needed

  
hygiene

   
in progress

   
invalid

This doesn't seem right

  
question

Further information is requested

  
ready

   
size

   
speed

   
wontfix

This will not be worked on

No labels
A-build
A-cli
A-core
A-design
A-edn
A-ffi
A-query
A-sdk
A-sdk-android
A-sdk-ios
A-sync
A-transact
A-views
A-vocab
P-Android
P-desktop
P-iOS
bug
correctness
dependencies
dev-ergonomics
discussion
documentation
duplicate
enhancement
enquiry
good first bug
good first issue
help wanted
hygiene
in progress
invalid
question
ready
size
speed
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: greg/mentat#3
No description provided.
Delete branch "gburd/learning-by-linting"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?