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

Lint: Deleted the source file not the binary. #131

Closed
LordDurus opened this issue Jul 26, 2023 · 2 comments
Closed

Lint: Deleted the source file not the binary. #131

LordDurus opened this issue Jul 26, 2023 · 2 comments
Assignees
@LordDurus
Labels
bug Something isn't working
Milestone
Deployed to DEV

Comments

@LordDurus
Copy link
Collaborator

The lint command deleted the source file not the binary file.
Might be a non-windows problem. In either case no good.
@LordDurus LordDurus added the bug Something isn't working label Jul 26, 2023
@LordDurus LordDurus self-assigned this Jul 26, 2023
@LordDurus
Copy link
Collaborator Author

I found the problem it does only happen on non-windows systems

@LordDurus
Copy link
Collaborator Author

Should be fixed in v0.9.1 (2023-07-26)

@LordDurus LordDurus added this to the Deployed to DEV milestone Jul 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@LordDurus LordDurus

Labels
bug Something isn't working
Projects
None yet
Milestone
Deployed to DEV
Development

No branches or pull requests
1 participant
@LordDurus