We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
timeout
At least the compile command should have a --timeout option available to kill the compilations after a while.
compile
--timeout
e.g.
--timeout 30m
This should propagate through the command context so that we can cancel appropriately.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
At least the
compile
command should have a--timeout
option available to kill the compilations after a while.e.g.
This should propagate through the command context so that we can cancel appropriately.
The text was updated successfully, but these errors were encountered: