Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 14 additions & 6 deletions .github/workflows/pyre.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,10 +37,18 @@ jobs:
with:
submodules: true

- name: Run Pyre
uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
- name: Set up Python
uses: actions/setup-python@v5
with:
# To customize these inputs:
# See https://github.com/facebook/pyre-action#inputs
repo-directory: './'
requirements-path: 'requirements.txt'
python-version: '3.11'

- name: Install dependencies
run: |
python -m pip install --upgrade pip
if [ -f requirements.txt ]; then
pip install -r requirements.txt
fi
Comment on lines +48 to +50
pip install pyre-check

- name: Run Pyre
run: pyre check
Comment on lines +53 to +54

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Action required

1. Code scanning output removed 🐞 Bug ◔ Observability

The workflow still claims Code Scanning integration and grants security-events: write, but it now
runs plain pyre check without generating/uploading SARIF, so no Pyre findings will appear in
GitHub Code Scanning.
Agent Prompt
### Issue description
The workflow text/permissions indicate Code Scanning integration, but the job no longer produces or uploads SARIF after switching to direct `pyre check`, so Code Scanning will not receive results.

### Issue Context
This is a behavior regression from “Code Scanning workflow” semantics to a plain CI command.

### Fix Focus Areas
- .github/workflows/pyre.yml[6-8]
- .github/workflows/pyre.yml[30-34]
- .github/workflows/pyre.yml[53-54]

ⓘ Copy this prompt and use it to remediate the issue with your preferred AI generation tools

Comment on lines +53 to +54
Loading