diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 9221f8d..59f2a5d 100644
--- 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