Replace deprecated facebook/pyre-action with direct Pyre execution in CI

.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