From 1ef58683a93730512dd0586aa13e7c8fcb9dd865 Mon Sep 17 00:00:00 2001
From: mcflugen <mcflugen@gmail.com>
Date: Thu, 17 Oct 2024 20:20:57 -0600
Subject: [PATCH] remove lint workflow

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

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
deleted file mode 100644
index cd1822f..0000000
--- a/.github/workflows/lint.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: Lint
-
-on: [push, pull_request]
-
-jobs:
-
-  lint:
-    # We want to run on external PRs, but not on our own internal PRs as they'll be run
-    # by the push to the branch. Without this if check, checks are duplicated since
-    # internal PRs match both the push and pull_request events.
-    if:
-      github.event_name == 'push' || github.event.pull_request.head.repo.full_name !=
-      github.repository
-
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-python@v4
-
-      - name: Lint
-        run: |
-          pip install ruff
-          ruff check .