remove pip cache

runtimeverification · Jan 24, 2024 · 60106e1 · 60106e1
1 parent 44e7d35
commit 60106e1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/action.yaml b/action.yaml
@@ -31,7 +31,6 @@ runs:
       uses: actions/[email protected]
       with:
         python-version: '3.10'
-        cache: 'pip'
 
     - name: Install dependencies
       shell: bash {0}