From cca4df489c07a1006ef54ce60bb1afe4381a1350 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 29 Jun 2026 22:00:04 +0000
Subject: [PATCH 1/5] Initial plan


From 18f45be9812f478c87f2b0e6bc0c1b68d024ac96 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 29 Jun 2026 22:01:48 +0000
Subject: [PATCH 2/5] Replace deprecated pyre-action with direct Pyre setup

---
 .github/workflows/pyre.yml | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml
index 520e255..a7cc0aa 100644
--- a/.github/workflows/pyre.yml
+++ b/.github/workflows/pyre.yml
@@ -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.x'
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          if [ -f requirements.txt ]; then
+            pip install -r requirements.txt
+          fi
+          pip install pyre-check
+
+      - name: Run Pyre
+        run: pyre check

From 0ba2dd8f96f2afbc20b9243f826c4da77f9ce802 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 29 Jun 2026 22:02:51 +0000
Subject: [PATCH 3/5] Pin Pyre workflow Python version

---
 .github/workflows/pyre.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml
index a7cc0aa..77a774e 100644
--- a/.github/workflows/pyre.yml
+++ b/.github/workflows/pyre.yml
@@ -40,7 +40,7 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.x'
+          python-version: '3.11'
 
       - name: Install dependencies
         run: |

From d6db3ff9b41f5628fd9b7d12410fbda675c55daa Mon Sep 17 00:00:00 2001
From: Pmaster-dev <8pinkycollie8@gmail.com>
Date: Tue, 30 Jun 2026 21:57:06 -0500
Subject: [PATCH 4/5] Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
---
 .github/workflows/pyre.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml
index 77a774e..900c6bb 100644
--- a/.github/workflows/pyre.yml
+++ b/.github/workflows/pyre.yml
@@ -50,5 +50,11 @@ jobs:
           fi
           pip install pyre-check
 
-      - name: Run Pyre
-        run: 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

From de106d62303a8fb140c9cf64e7439e95c981329c Mon Sep 17 00:00:00 2001
From: Pmaster-dev <8pinkycollie8@gmail.com>
Date: Tue, 30 Jun 2026 21:58:29 -0500
Subject: [PATCH 5/5] Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
---
 .github/workflows/pyre.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml
index 900c6bb..b074fbb 100644
--- a/.github/workflows/pyre.yml
+++ b/.github/workflows/pyre.yml
@@ -46,7 +46,7 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           if [ -f requirements.txt ]; then
-            pip install -r requirements.txt
+            python -m pip install -r requirements.txt
           fi
           pip install pyre-check