You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Aug 7, 2023. It is now read-only.
Hello, I don't know if this is possible, but would be nice if I could configure the execution timeout, because sometimes with a big file, the "linter" never finish, because execution is stopped in the middle.
Other problem is that I can't know when "linter" is running or not, it would be nice show somewhere that "linter" is running, so I can know when it finished! Today I have to save the file and wait looking to the screen to see if something happens!
The text was updated successfully, but these errors were encountered:
In other linters I've simply put in a toggle that disables the execution timeout, the case it was meant to solve (linters never exiting) is rare enough that this is a safe enough solution to the timeout problem.
The UI issue should be handled in linter, providers have nothing to do with that 😉.
Hello, I don't know if this is possible, but would be nice if I could configure the execution timeout, because sometimes with a big file, the "linter" never finish, because execution is stopped in the middle.
Other problem is that I can't know when "linter" is running or not, it would be nice show somewhere that "linter" is running, so I can know when it finished! Today I have to save the file and wait looking to the screen to see if something happens!
The text was updated successfully, but these errors were encountered: