WilsonZiweiWang
commented
1 year ago 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.
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.