Always encode node ids using an unsigned int of exactly 64 bits #3819
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Dependent Issues | |
on: | |
issues: | |
types: | |
- opened | |
- edited | |
- closed | |
- reopened | |
pull_request_target: | |
types: | |
- opened | |
- edited | |
- closed | |
- reopened | |
# Makes sure we always add status check for PRs. Useful only if | |
# this action is required to pass before merging. Otherwise, it | |
# can be removed. | |
- synchronize | |
jobs: | |
check: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: z0al/[email protected] | |
env: | |
# (Required) The token to use to make API calls to GitHub. | |
GITHUB_TOKEN: ${{ github.token }} |