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

reenable tlaplus test #315

Merged
merged 1 commit into from
Apr 5, 2024
Merged

reenable tlaplus test #315

merged 1 commit into from
Apr 5, 2024

Conversation

pelikhan
Copy link
Member

@pelikhan pelikhan commented Apr 2, 2024 •
edited
Loading

Run yarn compile to get a local build of the cli; then yarn test:samples to repro.

@pelikhan pelikhan mentioned this pull request Apr 2, 2024
Closed
@lemmy lemmy force-pushed the treesittertlaps branch 2 times, most recently from 3b4aa38 to d1d6e35 Compare April 5, 2024 13:48
@lemmy lemmy marked this pull request as ready for review April 5, 2024 13:48
@lemmy lemmy self-assigned this Apr 5, 2024
@lemmy lemmy added bug Something isn't working dependencies Pull requests that update a dependency file tree sitter labels Apr 5, 2024
@lemmy lemmy force-pushed the treesittertlaps branch from d1d6e35 to 71fe4e0 Compare April 5, 2024 15:52
@lemmy lemmy merged commit c2e8c32 into main Apr 5, 2024
5 checks passed
@lemmy lemmy deleted the treesittertlaps branch April 5, 2024 15:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lemmy lemmy

Labels
bug Something isn't working dependencies Pull requests that update a dependency file tree sitter
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pelikhan @lemmy