Update CI for lint

lebr0nli · May 17, 2024 · 9d22628 · 9d22628
1 parent 1d45fa0
commit 9d22628
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -8,12 +8,13 @@ jobs:
     runs-on: ubuntu-22.04
     timeout-minutes: 10
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install dependencies
       run: |
-        python3 -m pip install --user mypy ruff types-gdb prompt_toolkit==3.0.40 vermin
         sudo apt-get update && sudo apt-get install -y shellcheck shfmt
+        curl -sSL https://install.python-poetry.org | python3 -
+        poetry install
 
     - name: Run linters
       run: |
-        ./lint.sh
+        poetry shell && ./lint.sh