这是indexloc提供的服务,不要输入任何密码
Skip to content

Parsing scannable axes (specifically non_pointer) #585

Parsing scannable axes (specifically non_pointer)

Parsing scannable axes (specifically non_pointer) #585

Workflow file for this run

# CYBERSECURITY WARNING: DO NOT give workflows write permission to any source code repo.
# If you want this functionality, ask for help from a subset of:
# @jvanburen @glittershark @mshinwell
name: Syntax changes reminder
on:
pull_request_target:
types: [opened, synchronize, reopened]
paths:
- 'parsing/parser.mly'
jobs:
remind:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- name: Create PR Comment
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
REPO=${{ github.repository }}
PR_NUMBER=${{ github.event.pull_request.number }}
COMMENT="## Parser Change Checklist
This PR modifies the parser. Please check that the following tests are updated:
- [ ] \`parsetree/source_jane_street.ml\`
This test should have examples of every new bit of syntax you are adding. Feel free to just check the box if your PR does not actually change the syntax (because it is refactoring the parser, say)."
# Check if comment already exists
if ! gh pr view $PR_NUMBER --json comments -q '.comments[].body' --repo $REPO | grep -q "Parser Change Checklist"; then
gh pr comment $PR_NUMBER --body "$COMMENT" --repo $REPO
echo "Comment added successfully."
else
echo "Comment already exists. Skipping."
fi