Skip to content

Prevent warnings when running on CLI#159

Merged
k00ni merged 5 commits intosemsol:masterfrom
claudiu-cristea:prevent-warning
Nov 22, 2024
Merged

Prevent warnings when running on CLI#159
k00ni merged 5 commits intosemsol:masterfrom
claudiu-cristea:prevent-warning

Conversation

@claudiu-cristea
Copy link
Copy Markdown
Contributor

Closes #158

@claudiu-cristea
Copy link
Copy Markdown
Contributor Author

The CS failure looks like a false positive

@claudiu-cristea
Copy link
Copy Markdown
Contributor Author

claudiu-cristea commented Nov 20, 2024

@k00ni, ready for review

@k00ni k00ni added the fix label Nov 22, 2024
@k00ni
Copy link
Copy Markdown
Collaborator

k00ni commented Nov 22, 2024

Thank you for the fix.

@k00ni k00ni merged commit e7ac9c2 into semsol:master Nov 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Warnings when running a CLI command

2 participants