File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -30,14 +30,18 @@ jobs:
3030 gpg-private-key : ${{secrets.GPG_KEY}}
3131 - name : Get tree-sitter commit
3232 run : printf 'TREE_SITTER_REF=%s\n' "$(git rev-parse HEAD:core)" >> "$GITHUB_ENV"
33- - name : Set up tree-sitter
33+ - name : Set up tree-sitter CLI
34+ uses : tree-sitter/setup-action/cli@v2
35+ - name : Set up tree-sitter library
3436 uses : tree-sitter/setup-action/lib@v2
3537 with :
3638 tree-sitter-ref : ${{env.TREE_SITTER_REF}}
3739 - name : Set up tree-sitter-java
3840 run : |-
3941 git clone --depth=1 https://github.com/tree-sitter/tree-sitter-java
40- make -Ctree-sitter-java all install PREFIX="$RUNNER_TOOL_CACHE/tree-sitter/lib"
42+ cd tree-sitter-java
43+ tree-sitter generate --abi=15
44+ make all install PREFIX="$RUNNER_TOOL_CACHE/tree-sitter/lib"
4145 - name : Set up jextract
4246 run : |-
4347 curl -LSs '${{env.JEXTRACT_URL}}' | tar xzf - -C "$RUNNER_TOOL_CACHE"
You can’t perform that action at this time.
0 commit comments