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.

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

Error in lint #342

Closed
arthurkiller opened this issue Mar 5, 2019 · 0 comments
Closed

Error in lint #342

arthurkiller opened this issue Mar 5, 2019 · 0 comments

Comments

@arthurkiller
Copy link

Check the debug tree for other required information

Bug Type
  • Playground

distributedio/titan#45 (review)
+ Create a shared playground example.

  • Tenet
  • Query Generation
    • Recreate in the playground if possible and share a link.

    • For extra points
      • Recreate locally with one of our ide plugins
      • Recreate locally with the lingo tooling query-from-offset command
  • GitHub PR Review hanging or failing
    • We just need the link to the pull specific pull request - no other information is necessary

Describe the bug
A clear and concise description of what the bug is.

To Reproduce
Steps to reproduce the behavior:

  1. Go to '...'
  2. Click on '....'
  3. Scroll down to '....'
  4. See error

Expected behavior
A clear and concise description of what you expected to happen.

Screenshots
If applicable, add screenshots to help explain your problem.

Desktop (please complete the following information):

  • OS: [e.g. iOS]
  • Browser [e.g. chrome, safari]
  • Version [e.g. 22]
    Additional context
    Add any other context about the problem here.
@Daanikus Daanikus closed this as completed Jun 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants