8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
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
it was super annoying you could not delete previous execution results, so I reverted to 96c2844 where yes it looks ugly, but it does work.
The text was updated successfully, but these errors were encountered:
probably the issue was c83b0b5
Sorry, something went wrong.
srbhptl39
Successfully merging a pull request may close this issue.
it was super annoying you could not delete previous execution results, so I reverted to 96c2844
where yes it looks ugly, but it does work.
The text was updated successfully, but these errors were encountered: