diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml index 520e255..b074fbb 100644 --- a/.github/workflows/pyre.yml +++ b/.github/workflows/pyre.yml @@ -37,10 +37,24 @@ 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 + python -m pip install -r requirements.txt + fi + pip install pyre-check + + - name: Run Pyre (generate SARIF) + run: pyre check --output-format sarif > pyre-results.sarif + + - name: Upload Pyre results to GitHub Code Scanning + if: always() + uses: github/codeql-action/upload-sarif@v3 + with: + sarif_file: pyre-results.sarif