Update pylint workflow

esbmc · Nov 7, 2024 · f8caa26 · f8caa26
1 parent c1c45c9
commit f8caa26
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -49,10 +49,6 @@ jobs:
         run: |
           python -m pip install --upgrade pipenv wheel
 
-      - name: Install dependencies
-        run: |
-          pipenv install --deploy --dev
-
       - name: Pylint on esbmc_ai
         run: |
           pipenv run pylint esbmc_ai