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

Auto update tree-sitter-sitter wasm file #74

Merged
merged 4 commits into from
Nov 17, 2023

Conversation

github-actions[bot]
Copy link

@github-actions github-actions bot commented Nov 14, 2023

Automated changes by create-pull-request GitHub action

The completion for the second or later override at the last line should be fixed. Though I don't guarantee the completion is working for all cases since the tree-sitter doesn't provide the fine-tuned error handling as mentioned in here. The custom checks I added should fix this particular bug.

@WilsonZiweiWang
Copy link
Collaborator

WilsonZiweiWang commented Nov 14, 2023

Seems like the pull request created by the bot won't trigger our main CI/CD workflow due to the permission issue of GITHUB_TOKEN in the update-tree-sitter-wasm-file.yml. It could be fixed by providing a personal token which lets GitHub treat it as if a real person created the pull request. Let me know what you think.
@deribaucourt @idillon-sfl @moh60

For the alternative, I added the workflow_dispatch in main.yml in this PR to enable the manual workflow trigger.

@WilsonZiweiWang WilsonZiweiWang merged commit 726a38a into staging Nov 17, 2023
@WilsonZiweiWang WilsonZiweiWang deleted the create-pull-request/patch branch November 17, 2023 22:09
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

Successfully merging this pull request may close these issues.

2 participants