delete lint

2026-06-05 06:46:14 +00:00 · 2024-03-30 19:56:14 -04:00
parent 8a668e6efe
commit a0acc03a97
1 changed files with 0 additions and 23 deletions
@@ -1,23 +0,0 @@
-name: Lint
-
-on: [push, pull_request]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-      - uses: actions/checkout@v2
-
-      - name: Set up Python
-        uses: actions/setup-python@v2
-        with:
-          python-version: 3.7
-
-      - name: Install dependencies
-        run: |
-          python -m pip install pipenv
-          pipenv install --dev --system
-
-      - name: Lint
-        run: pre-commit run --all-files --show-diff-on-failure