From f8caa261d3c16259f8b4e542870d6e2dad76bbcb Mon Sep 17 00:00:00 2001 From: Yiannis Charalambous Date: Thu, 7 Nov 2024 22:04:32 +0000 Subject: [PATCH] Update pylint workflow --- .github/workflows/workflow.yml | 4 ---- 1 file changed, 4 deletions(-) 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