Skip to content

Incorrect flagging of variable as unbound when variable assignment and modification rely on the same flag. #12117

Incorrect flagging of variable as unbound when variable assignment and modification rely on the same flag.

Incorrect flagging of variable as unbound when variable assignment and modification rely on the same flag. #12117

Workflow file for this run

name: issue-automation
permissions:
issues: write
on:
issues:
types: [opened]
jobs:
assignIssue:
name: Assign Issue to Someone
runs-on: ubuntu-latest
if: github.repository == 'microsoft/pylance-release' && github.event.action == 'opened' && !contains( github.event.issue.labels.*.name, 'skip-reassign')
steps:
- name: Find last assigned
id: assigned
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
result-encoding: string
script: |
const issue = await github.rest.issues.get({
issue_number: 4462,
owner: context.repo.owner,
repo: context.repo.repo
});
return issue.data.assignees[0]?.login || '';
- name: Dump last assigned
env:
LAST_ASSIGNED: ${{ steps.assigned.outputs.result }}
run: echo "$LAST_ASSIGNED"
- uses: lee-dohm/team-rotation@v1
with:
last: ${{ steps.assigned.outputs.result }}
include: bschnurr debonte heejaechang StellaHuang95 rchiodo KacieKK
id: rotation
- name: Dump next in rotation
env:
NEXT_ROTATION: ${{ steps.rotation.outputs.next }}
run: echo "$NEXT_ROTATION"
- name: Assign to next person
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
github.rest.issues.addAssignees({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
assignees: ['${{ steps.rotation.outputs.next }}']
})
- name: Give it the label 'needs repro'
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
github.rest.issues.addLabels({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
labels: ['needs repro']
})
- name: Save assignment to state
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
await github.rest.issues.removeAssignees({
issue_number: 4462,
owner: context.repo.owner,
repo: context.repo.repo,
assignees: ['${{ steps.assigned.outputs.result }}']
});
github.rest.issues.addAssignees({
issue_number: 4462,
owner: context.repo.owner,
repo: context.repo.repo,
assignees: ['${{ steps.rotation.outputs.next }}']
})