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.

Sign up for GitHub

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

Jump to bottom

Added missing rules and fixed some existing ones #155

Merged
merged 2 commits into from
Apr 2, 2023
Merged

Added missing rules and fixed some existing ones #155

merged 2 commits into from
Apr 2, 2023
+701 −56

Conversation

netromdk
Copy link
Owner

@netromdk netromdk commented Mar 2, 2023

Relates to #144.

netromdk added 2 commits March 1, 2023 16:21
@netromdk
Detect True/False constants correctly

Verified

This commit was signed with the committer’s verified signature.
netromdk Morten Kristensen
GPG key ID: BC1A685B5D4DA837
Verified
Learn about vigilant mode
867c33c
@netromdk
Added missing rules and fixed some existing ones

Verified

This commit was signed with the committer’s verified signature.
netromdk Morten Kristensen
GPG key ID: BC1A685B5D4DA837
Verified
Learn about vigilant mode
0136d6f
@coveralls
Copy link

Coverage Status

Coverage: 99.426% (-0.002%) from 99.428% when pulling 0136d6f on issue-144 into e9a6aaf on master.

@netromdk netromdk mentioned this pull request Mar 2, 2023
Closed
@netromdk netromdk merged commit de2fc74 into master Apr 2, 2023
@netromdk netromdk deleted the issue-144 branch April 2, 2023 04:43
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.

None yet
2 participants
@netromdk @coveralls