Julian / Julian/tree-sitter-lean

Upstream workflows

Open
#27 5 comments 0 reactions 0 assignees View on GitHub
Dominant language
JavaScript
Stars
58
Forks
25
Avg merge
48m
Merged PRs (30d)
1

Description

I just stumbled across https://github.com/Julian/tree-sitter-lean/blob/259a2daf7a699cc047221f1e043e4d045fcd6be2/.github/workflows/ci.yml#L40-L45

Have you tested again with the latest tree-sitter version (0.27.0)? Much of the `generate` codepath was rewritten to prevent exactly this sort of catastrophic memory use which a number of outlier grammars used to(!) suffer from.

If the situation is fixed now (which I would be interested to hear if not), you could consider using the official upstream ci and release workflows (including query validation, see, e.g., https://github.com/tree-sitter-grammars/tree-sitter-query/blob/master/.github/workflows/ci.yaml), which would be a requirement for including this parser in nvim-treesitter down the road.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start with .github/workflows/ci.yml at lines 40-45 and compare it with the linked upstream workflow. Test the generate path using tree-sitter 0.27.0, then assess the official CI and release workflows, including query validation. Done means the latest version's memory behavior is understood and the relevant upstream workflow coverage is adopted if appropriate.

Written by the indexing model from the issue text.

Assessment

Tech stack
github-actions
Domain
ci-cd, release, testing
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
58/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.