From 4c18c797c6170470fc35990edc54764e105d4e89 Mon Sep 17 00:00:00 2001
From: Adryan Serage <17680194+KazeroG@users.noreply.github.com>
Date: Tue, 24 Dec 2024 05:18:37 -0500
Subject: [PATCH] Delete .github/workflows/pyre.yml

---
 .github/workflows/pyre.yml | 42 --------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 .github/workflows/pyre.yml

diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml
deleted file mode 100644
index 8e99122..0000000
--- a/.github/workflows/pyre.yml
+++ /dev/null
@@ -1,42 +0,0 @@
-name: Pyre Type Checker
-
-on:
-  workflow_dispatch:
-  push:
-    branches: [ "main" ]
-  pull_request:
-    branches: [ "main" ]
-
-permissions:
-  contents: read
-  security-events: write # Required for integrating with Code Scanning
-
-jobs:
-  pyre:
-    runs-on: ubuntu-latest
-    permissions:
-      actions: read
-      contents: read
-      security-events: write
-
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          submodules: true
-
-      - name: Set up Python
-        uses: actions/setup-python@v4
-        with:
-          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
-
-      - name: Run Pyre
-        uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
-        with:
-          repo-directory: './'
-          requirements-path: 'requirements.txt'