From a1c3e59a378f2f69c6c23b302e8de4f511363a1a Mon Sep 17 00:00:00 2001
From: Typpi <20943337+Nick2bad4u@users.noreply.github.com>
Date: Tue, 19 Mar 2024 16:05:59 -0400
Subject: [PATCH] Delete .github/workflows/pyre.yml

---
 .github/workflows/pyre.yml | 47 --------------------------------------
 1 file changed, 47 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 46ef5ca..0000000
--- a/.github/workflows/pyre.yml
+++ /dev/null
@@ -1,47 +0,0 @@
-# This workflow uses actions that are not certified by GitHub.
-# They are provided by a third-party and are governed by
-# separate terms of service, privacy policy, and support
-# documentation.
-
-# This workflow integrates Pyre with GitHub's
-# Code Scanning feature.
-#
-# Pyre is a performant type checker for Python compliant with
-# PEP 484. Pyre can analyze codebases with millions of lines
-# of code incrementally – providing instantaneous feedback
-# to developers as they write code.
-#
-# See https://pyre-check.org
-
-name: Pyre
-
-on:
-  workflow_dispatch:
-  push:
-    branches: [ "main" ]
-  pull_request:
-    branches: [ "main" ]
-
-permissions:
-    contents: read
-
-jobs:
-  pyre:
-    permissions:
-      actions: read
-      contents: read
-      security-events: write
-    runs-on: windows-latest
-    steps:
-      - uses: actions/checkout@v4
-        with:
-            use-installer: true
-            submodules: true
-
-      - name: Run Pyre
-        uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
-        with:
-          # To customize these inputs:
-          # See https://github.com/facebook/pyre-action#inputs
-          repo-directory: './'
-          requirements-path: 'requirements.txt'